Logtalk

Software kuvakaappaus:
Logtalk
Ohjelmiston tiedot:
Versio: 3.03.0 Päivitetty
Lähetyksen päivämäärä: 11 Mar 16
Kehittäjä: Paulo Moura
Lupa: Vapaa
Suosio: 24

Rating: nan/5 (Total Votes: 0)

Prolog on yleiskäyttöinen logiikka ohjelmointikieli, joka julkaistiin vuonna 1972, harvoja päivityksiä jälkeen.

Logtalk luotiin lisätä nykyaikainen ominaisuuksia Prolog, lähinnä suorituskyvyn parannuksia, lambda ilmaisuja, kieliopin sääntöjä, parannettu kääntäjä virheet ja varoitus raportointiin.

Päälle näistä, lisätä helpompi asennus ja Prolog kääntäjän yhteensopivuus päivitykset.

Tämä tekee Logtalk paremmin, sopivampaa vaihtoehto Prolog nyky AI ja tietokoneen kielitieteen skenaarioita, paljon voimakkaampi monen paradigma kielen, sopii event-driven ja korkean tason monisäieominaisuuksia ohjelmoinnin.

Tällä hetkellä Logtalk syntaksin ulottuu standardin Prolog syntaksin ja voit suorittaa Logtalk seuraavilla Prolog kääntäjiä:

B-Prolog

CxProlog

Eclipse

GNU Prolog

Lean Prolog

Qu-Prolog

SICStus Prolog

SWI Prolog

xsb

YAP

Mikä on uusi tässä julkaisussa:

  • PAREMPI:
  • Muutoksia termiä tunnisteita käytetään kirjoitettaessa käännetty koodi voidaan minimoida koon syntyy väli- Prolog tiedostoja, jotka käyttävät näitä tunnisteita päättää, milloin koristella käännetty toimeen lähde sijaintitietoja (tällä hetkellä vain SWI-Prolog hyödyntää paikkatiedot).
  • KIINTEÄ:
  • Tiedosto voi olla useampia kuin yksi kanta-tiedosto.

Mikä on uusi versiossa 3.02.2:

  • PAREMPI:
  • Muutoksia termiä tunnisteita käytetään kirjoitettaessa käännetty koodi voidaan minimoida koon syntyy väli- Prolog tiedostoja, jotka käyttävät näitä tunnisteita päättää, milloin koristella käännetty toimeen lähde sijaintitietoja (tällä hetkellä vain SWI-Prolog hyödyntää paikkatiedot).
  • KIINTEÄ:
  • Tiedosto voi olla useampia kuin yksi kanta-tiedosto.

Mikä on uusi versiossa 3.02.1:

  • PAREMPI:
  • Muutoksia termiä tunnisteita käytetään kirjoitettaessa käännetty koodi voidaan minimoida koon syntyy väli- Prolog tiedostoja, jotka käyttävät näitä tunnisteita päättää, milloin koristella käännetty toimeen lähde sijaintitietoja (tällä hetkellä vain SWI-Prolog hyödyntää paikkatiedot).
  • KIINTEÄ:
  • Tiedosto voi olla useampia kuin yksi kanta-tiedosto.

Mikä on uusi versiossa 3.00.4:

  • PAREMPI:
  • Muutoksia termiä tunnisteita käytetään kirjoitettaessa käännetty koodi voidaan minimoida koon syntyy väli- Prolog tiedostoja, jotka käyttävät näitä tunnisteita päättää, milloin koristella käännetty toimeen lähde sijaintitietoja (tällä hetkellä vain SWI-Prolog hyödyntää paikkatiedot).
  • KIINTEÄ:
  • Tiedosto voi olla useampia kuin yksi kanta-tiedosto.

Mikä on uusi versiossa 3.00.2:

  • PAREMPI:
  • Muutoksia termiä tunnisteita käytetään kirjoitettaessa käännetty koodi voidaan minimoida koon syntyy väli- Prolog tiedostoja, jotka käyttävät näitä tunnisteita päättää, milloin koristella käännetty toimeen lähde sijaintitietoja (tällä hetkellä vain SWI-Prolog hyödyntää paikkatiedot).
  • KIINTEÄ:
  • Tiedosto voi olla useampia kuin yksi kanta-tiedosto.

Mikä on uusi versiossa 3.00.1:

  • PAREMPI:
  • Muutoksia termiä tunnisteita käytetään kirjoitettaessa käännetty koodi voidaan minimoida koon syntyy väli- Prolog tiedostoja, jotka käyttävät näitä tunnisteita päättää, milloin koristella käännetty toimeen lähde sijaintitietoja (tällä hetkellä vain SWI-Prolog hyödyntää paikkatiedot).
  • KIINTEÄ:
  • Tiedosto voi olla useampia kuin yksi kanta-tiedosto.

Mikä on uusi versiossa 2.44.1:

  • Oikaisu vian kokoamista meta_non_terminal / 1 direktiivi jossa vain ensimmäinen meta-argumentti olisi oikein käsitellään.
  • Päivitetty Eclipse config tiedosto havaita, kun käytetään Windows 64 bittiä järjestelmien ja jättää ei-predikaatti ja ei-operaattori viennin kun esikäsittelyä lib / 1 direktiivien.
  • Päivitetty yksikkö testi puitteet tulostaa enemmän informatiivinen viestejä epäonnistui Osatestit.
  • lisätyt predikaatti jakaa / 4 (halkaisu luettelo tulee alaluetteloita tietyllä pituus) on & quot; listp & quot ;, & quot; lista & quot ;, ja & quot; difflist & quot; kirjasto yhteisöjä.
  • Päivitetty & quot; cc & quot; esimerkiksi määritelmä kuoren / 2 predikaatti varten CxProlog.
  • Muutettiin nimet objektien & quot; mi & quot; Esimerkiksi välttää nimi ristiriita ajettaessa esimerkki Osatestit.
  • Oikaisu vian Windowsin asennusohjelma, joka esti havaitseminen YAP 64 bittiä versioita. Kiitos Stepan Ipatov vikailmoituksessa.

Mitä uutta versiossa 2.44.0:

  • Tämä julkaisu muuttuu semantiikan täydentää luokkia, jonka avulla sen käyttö paikata nykyisiä kohdekoodin, korjaa kaksi bugeja käsittelyyn meta-puheluista, mahdollistaa avoin luettelot terminaalien kehossa DCG sääntöjä, lisätään kaksi uutta esimerkkiä, ja parantaa tukea Vim tekstieditori ja Exuberant ctags.

Mikä on uusi versiossa 2.43.3:

  • Oikaisu vian Logtalk kääntäjä runtime handler jossa se ei purkaa sisäisen yksikön tunnisteiden heitettäessä kokonaisuuden olemassaoloa poikkeuksia.
  • Päivitetty Lean Prolog config-tiedosto, lisäämällä index / 1 direktiivien joidenkin dynaamisen predikaattien käyttämän sisäisen Logtalk runtime taulukoita.
  • Päivitetty SWI-Prolog integraatio tiedostoja testata saatavuutta indeksin / 1 direktiivi, joka on vanhentunut uuden kokeellisen SWI-Prolog tuki just-in-time multi-argumentti indeksointi.
  • Lisätty predikaatteja alasekvenssi / 4 (synnyttämiseksi subsequences luettelon tietyn pituus), korvata / 4 (korvaa elementtejä luettelo), ja hamming_distance / 3 kirjastoon & quot; listp & quot; ja & quot; lista & quot; yhteisöistä.
  • lisätyt euclidean_norm / 2, chebyshev_norm / 2, manhattan_norm / 2, euclidean_distance / 3, chebyshev_distance / 3, manhattan_distance / 3, ja scalar_product / 3 predikaatteja kirjastoon & quot; numberlistp & quot; ja & quot; numberlist & quot; yhteisöistä.
  • Korjattu joitakin typeriä virheitä määritelmään & quot; merkki & quot; kirjasto esine predikaatteja is_bin_digit / 1, is_octal_digit / 1, is_dec_digit / 1, ja is_hex_digit / 1.
  • Päivitetty kirjaston & quot; all_loader.lgt & quot; kuormaaja tiedoston ladata myös & quot; meta_compiler_loader.lgt & quot; kuormaaja tiedosto.

Mikä on uusi versiossa 2.43.2:

  • Optimoitu käsittelyyn operaattorin ilmoitusten laadinnassa lähdetiedostot ja dynaamisesti luoda uusia yksiköitä.
  • Päivitetty Logtalk kääntäjä käyttää & quot; moduulit & quot; kääntäjä lippu testattaessa Prolog module support, jolloin vältetään kokoamistyötä taustajärjestelmiin Prolog kääntäjiä, jotka eivät tue modulijärjestelmää mutta silti määritellä (:) / 2, kun sisäänrakennettu kontrollirakenteella alkurikoksiin.
  • Poistettu tuki & quot; startup_message & quot; kääntäjä lippu & quot; liput (compact) & quot; ja & quot; liput (monisanainen) & quot; arvot, korvataan yhdellä arvolla, & quot; lippuja & quot ;, joka vastaa vanhaa & quot; liput (compact) & quot; arvo.
  • Korjattu vika, kun OP / 3 direktiivien kanssa create_protocol / 3, create_object / 4, ja create_category / 4 sisäänrakennettu predikaatteja jos paikallisen operaattorin ilmoitusten näkyisi ulkopuolelle uutta yritystä.
  • Oikaisu vika, jos uusi dynamiikka kokonaisuus suorituksen olisi määriteltävä ei enää käytetä kirjanpito dynaaminen predikaatti joka ei olisi poistanut kun yhteisö on poistettu.
  • Oikaisu kääntäjän vika, jos & quot; Super & quot; soittaa sisällä objekti, joka vain instantiates itse eikä erikoistuneet mitään esinettä heittää poikkeus sijaan ei ole.
  • Päivitetty & quot; viitearvot & quot; Esimerkiksi suojellakseen vastaan ​​aritmeettinen poikkeuksia laskiessaan puheluiden kokonaismäärän sekunnissa jokaisessa testissä. Vähensi vertailutestin toistoja ajettaessa Osatestit välttää pitkiä computing kertaa hidas back-end Prolog kääntäjiä.

Mikä on uusi versiossa 2.43.1:

  • Muuttunut kääntäjä ottaa huomioon käyttötarkoituksia / 2 direktiivin laadinnassa puhelut tietokantaan sisäänrakennettu menetelmiä. Tämä muutos laajentaa semantiikan käyttötarkoituksia / 2 direktiivin ja mahdollistaa helpommin siirtyminen tavallinen Prolog sovelluksia Logtalk.
  • Lisätty kokeellinen tuki käyttäen predikaatti-mallin argumentiksi coinductive / 1 direktiivi. Tämä malli mahdollistaa se, mitkä argumentit ovat merkityksellisiä coinductive menestykseen. Perustuu samanlaisia ​​toimintoja löytyy siitä Feliks Kluzniak n DRA meta-tulkki.
  • Parannettu tuki virheenkorjausta coinductive predikaatteja käytettäessä Logtalk sisäänrakennettua debuggeri.
  • Poistettu coinduction tuki CxProlog. Nykyinen versio kääntäjä puuttuu pehmeä cut sisäänrakennettu predikaatin tai kontrollirakenteella, joka tarvitaan nyt kokeellisella coinduction toteuttamiseen.
  • Nostettu pitkäaikainen rajoitus, joka esti käyttäjän määritelmän kääre predikaattien varten bagof / 3 ja setof / 3 sisäänrakennettu menetelmiä aina, kun tavoite argumentti voi käyttää ^ / 2 eksistentiaalinen kvantisointi.
  • Lisätty tuki & quot; ^ & quot; meta-predikaatti meta-argumentti tilassa määrittelyksi ehdotti Jan Wielemaker ja löytyy SWI-Prolog 11.05.25. Tämä tila specifier on hyödyllinen määriteltäessä kääreet varten bagof / 3 ja setof / 3 sisäänrakennettu menetelmiä aina, kun tavoite argumentti voi käyttää ^ / 2 eksistentiaalinen kvantisointi.
  • Added & quot; prolog_compiler & quot; ja & quot; prolog_loader & quot; kääntäjä lippuja, jotka mahdollistavat kulkee vaihtoehtoja back-end Prolog kääntäjä sisäänrakennettu predikaatteja jotka kokoavat levylle ja ladata (käännetty) Prolog lippu. Oletusarvo molemmille liput on tyhjä lista.
  • Korjattu vika koostettaessa puhelut Prolog omaa sisäänrakennettu meta-predikaatteja jossa Logtalk kääntäjä voisi yrittää käsitellä kuin meta-argumentteja tavoitteita. Tämä vika vain näkyi joidenkin back-end Prolog kerääjiä kuten Eclipse.
  • Oikaisu vian käsittelyä ehdollisen kokoelma direktiivien.
  • Korjattu vika, joka esti kulkee alias / 3 direktiivien puhelut create_object / 4, create_category / 4, ja create_protocol / 3 sisäänrakennettu predikaatteja.
  • Poistettu sisäänrakennettu objekti & quot; logtalk & quot; decompile_predicate_head / 4 ja decompile_predicate_indicator / 4 vanhentuneita menetelmiä.
  • Poistettu tuki pitkän hylätty Logtalk metapredicate / 1 direktiivi.
  • Korjattu suorituskyvyn vika kun välimuistiin puhelut luokka predikaatteja missä välimuistissa merkinnät voivat olla tarkempi kuin tarpeen työskenneltäessä muuttujien luokkia.
  • Parannettu välimuistiin & quot; Super & quot; puhelut sisällä prototyyppejä. Aiemmin kaikki välimuistissa merkinnät olisivat erikoistuneet arvolla & quot; itse & quot; jotta kunnolla käsitellä erikoistapauksissa, joissa kohde sekä instantiates ja erikoistunut muita esineitä.
  • Päivitetty Logtalk kääntäjä aktivoida kaikki toimijat ilmoitusten löytyy predikaatin laajuus direktiivien aikana kokoamista yksiköt, jotka sisältävät direktiivien.
  • Parannettu suorituskyky coinductive predikaattien käytettäessä back-end Prolog kerääjiä kuten SICStus Prolog jotka eivät anna pehmeä leikattu kontrollirakenteella mutta tarjoavat pehmeän leikattu sisäänrakennettu meta-predikaatti (jos / 3).
  • Oikaisu vika, jos häiritsevän raportin kokoelma / lastaus voidaan varoitukset tulostaa, kun lähde tiedosto on käännetty / ladattu kääntäjä lippu & quot; raportti & quot; sammutettu.
  • Lisätty & quot; streamvars & quot; kirjasto-objektin, jotka ovat peräisin olemassa olevien & quot; assignvars & quot; kirjastoluokkaan, jossa tukea lisäämällä ja hakemiseen ehdot (joka voi olla muuttujat) peräisin & quot; stream & quot; muuttuja.
  • Päivitetty & quot; coinduction & quot; Esimerkiksi hyödyntämällä tehostetun coinductive / 1 direktiivi ja laajennetaan määrä yksittäisiä esimerkkejä, jotka voidaan ajaa käyttämällä SICStus Prolog. Lisätty malli tarkkailun Esimerkiksi käyttämällä coinduction, coroutining, ja rajoitukset.
  • Päivitetty & quot; metapredicates & quot; esimerkiksi näytteen koodi, joka kuvaa miten määritellä kääreet varten bagof / 3 ja setof / 3 sisäänrakennettu menetelmissä kun meta-argumentti voi sisältää eksistentiaalisesti pätevä muuttujia.
  • Päivitetty & quot; cc & quot; Esimerkiksi korjaamalla predikaatti määritelmät useita back-end Prolog kääntäjiä ja lisäämällä joitakin perusyksikkö testejä.
  • Päivitetty & quot; encodings & quot; esimerkiksi rajoitettu tuki Lean Prolog.
  • Lisätty puuttunut merkinnät meta_non_terminal / 1 direktiivi ja puhelun // N ei-terminaalista & quot; auttaa & quot; Esimerkiksi.
  • Lisätty jäsennin PDDL 3,0 tiedostoja, vaikutti Robert Sasak.
  • Lisätty koodin taitto tukea SubEthaEdit tekstieditori. Lisätty koodi taitto tuki ehdollisen kokoelma korttelin Kate, Vim, ja TextMate tekstieditorit.
  • Päivitetty integraatio skriptit, jotta ladata kirjasto polut tiedosto ennen lataamista Logtalk kääntäjä / runtime. Tämä muutos pyritään yksinkertaistamaan lastaus kirjaston ja esimerkin tiedostoja asetustiedostot. Lisäksi myös etsiä Logtalk asennushakemistoa $ HOME / osake, kun LOGTALKHOME ympäristömuuttuja ei ole määritelty.
  • Päivitetty Windowsin asennusohjelma tukemiseksi Lean Prolog ja havaita YAP 64 bittiä versioita.

Mikä on uusi versiossa 2.43.0:

  • Lisätty kokeellinen tuki Lean Prolog.
  • Poistettu Logtalk kääntäjä rajoitus, joka pakotti vierekkäiset / 1 ja dynaaminen / 1 direktiivien edeltää puhelut ilmoitetusta predikaatteja.
  • Parannettu Logtalk kääntäjä raportin misspelt puheluita ei-päätteiden kieliopin sääntöjä.
  • Salli käyttö: / 1 ohjaus rakentaa runkoon kieliopin sääntöjä.
  • Kun virheenkorjaus määritellyt viestit käyttötarkoituksiin / 2 direktiivejä, viesti painetaan nyt epäsuorasti luokiteltu lähdekoodin kirjoittanut käyttäjä.
  • Muuttunut sisäinen predikaatteja käytetty toteuttamiseen sisäänrakennettu monisäieominaisuuksia predikaatteja helpottamiseksi integroitumista korkean tason testausvälineitä jotka edellyttävät analysointia syntyneen Prolog koodi.
  • Oikaisu vian kirjastossa tuen yksikkö testit, & quot; lgtunit & quot ;, jossa testaus poikkeuksia hyväksyisi kaikki poikkeusta aikavälillä mukainen laite testin vaatimuksia.
  • Päivitetty & quot; cc & quot; Esimerkiksi jossa korjauksia ja parannuksia Eclipse myötävaikuttanut Joachim Schimpf, jossa on bug fix varten SWI-Prolog toteuttamista expand_path / 2 predikaattia (johtuvat viimeaikaisista muutoksista SWI-Prolog absolute_file_name / 3 sisäänrakennettu predikaatti), ja joissa määritelmä varten command_line_arguments / 1 predikaatti B-Prolog.
  • Päivitetty & quot; coinduction & quot; Esimerkiksi lisäämällä joitakin yksittäisiä esimerkkejä.
  • Päivitetty & quot; xml_parser & quot; panos jotta kiertämään siirrettävyyden ongelmia GNU Prolog.
  • Korjaa vika joissakin komentoriviskriptejä minne & quot; # / bin / bash & quot; sijasta & quot; #! / bin / bash & quot ;. Kiitos Yiorgos Adamopoulos vikailmoituksessa.
  • Päivitetty Inno Setup GUI Windows asennusohjelman script jotta asennettiin ei-admin käyttäjille.
  • Lisätty syntaksin väritys tuki ISO Prolog direktiivi sisältää / 1 kaikissa tuetuissa editorit ja syntaksin korostus.
  • Korjattu joitakin vikoja välilehteä laukaisee varten Gedit Logtalk katkelmia, joka esti niiden käytön.
  • Muuttunut takaisin käyttäen XEP sijasta FOP luotaessa PDF versiot Käyttäjien ja käsikirjoja kuin FOP katkaisee sisällön joidenkin sivujen.

Mikä on uusi versiossa 2.42.4:

  • Lisätty entity_prefix / 2 predikaatin ja kahdet hyödyllisyys predikaatteja, decompile_predicate_heads / 2-4 ja decompile_predicate_indicators / 2-4, että & quot; logtalk & quot; sisäänrakennettu objekti. Merkitsi decompile_predicate_head / 4 ja decompile_predicate_indicator / 4 vanhentuneeksi.
  • Lisätty tuki säilyttäen laajuutta tiedot operaattoreille ilmoitettu käyttäen soveltamisala direktiivien aikana käännöksen yhteydessä. Lisätty tiedot yksikön ilmoitetut operaattorit XML dokumentointi tiedostoja. Päivitetty tekstin, PDF, ja (X) HTML tulosohjelmien tulostaa operaattorin tiedot.
  • Applied useita matalan tason optimoinnit että Logtalk kääntäjä / runtime.
  • Siirretty sisäisen predikaatteja joka rakentaa ja käyttää predikaatin toteuttamisen yhteydessä siitä kääntäjän näkymään Prolog config tiedostot tukeakseen hieno säätämistä, joka on Prolog kääntäjä riippuvainen.
  • Päivitetty täytäntöönpanoa kierteinen / 1 monisäieominaisuuksia sisäänrakennettu predikaatti voidakseen käyttää pientä suorituskyvyn optimointi perustuu term_variables / 2 sisäänrakennettua predikaatin ehdottama Timon Van Overveldt. Tämä optimointi tavoitteena on vähentää tarpeettomia kopioida ja yhdistymisen ehdot. Lisäksi korvaavat käyttö setup_call_cleanup / 3 sisäänrakennettu predikaatti kanssa saalis / 3 sisäänrakennettu predikaatin yksinkertaistamalla käsittelystä sekä master ja slave kierteet, mikä myös parantaa suorituskykyä.
  • Oikaisu vian täytäntöönpanoa kierteinen / 1 monisäieominaisuuksia sisäänrakennettu predikaatin jossa tapauksesta, jossa käyttäjä voi määrittää itsenäisen tavoitteita yrittäessään käyttää itsenäistä ja-rinnakkaisuus johtaisi zombie kierteet.
  • Lisää informatiivinen poikkeus termejä yrittäessään julistaa synkronoitu predikaatin dynaamiseksi tai dynaamisesta predikaattia synkronoitu.
  • Päivitetty xsb config tiedosto tukeakseen kokoamista moduulien objekteina. Lisätty määritelmä puuttuva setup_call_catcher_cleanup / 4 sisäänrakennettu predikaatti. Xsb 3.3 (tai uudempi versio) on nyt tarvitaan yhteensopivuuden Logtalk.
  • Päivitetty SWI-Prolog config tiedosto, jotta rajallista tukea arithmetic_function / 1 oma direktiivi (aritmeettinen toiminnot kokoamaan maailmanlaajuisena eikä sillä paikallinen esineitä tai luokat määritellään ne).
  • Päivitetty YAP config tiedoston, jotta sivuuttaa style_check / 1 direktiivi ja tulkita yap_flag / 2 direktiivin kuin set_prolog_flag / 2 direktiivin.
  • Muuttunut oletuksena XSL-FO-prosessori (käytetään tuottamaan PDF versiot Käyttäjien ja käsikirjoja) välillä XEP ja FOP.
  • Päivitetty & quot; xml_parser & quot; panos jotta kiertämään siirrettävyyden ongelmia Qu-Prolog, SICStus Prolog, ja xsb.
  • Päivitetty & quot; encodings & quot; Esimerkiksi, jotta varmistetaan, että ei ole olemassa välilyönnillä ennen koodausta / 1 direktiivi.
  • Päivitetty & quot; attvars & quot; Esimerkiksi tukeakseen B-Prolog ja xsb. Myös lisätty tuki käytetään johtuvan muuttujia Logtalk parametriset objektit ja muuttujien luokat. Kiitos Jan Wielemaker, VATOR Santos Costa, ja Bart Demoen palautetta ja täytäntöönpanon ehdotuksia.
  • Päivitetty & quot; profilers & quot; Esimerkiksi alustavia tukea muutosten toteuttamista profiloinnin SICStus Prolog 4.2 version.
  • Päivitetty & quot; laajentamiseen & quot; Esimerkiksi enemmän mallikoodin miten yhdistää term- ja tavoite-laajennus määritelmät eri koukkuja esineitä.
  • Päivitetty & quot; coinduction & quot; Esimerkiksi lisäämällä kokeellinen keysort / 2 coinductive predikaatti. Kiitos Jan Burse ehdotuksestasi.
  • Päivitetty & quot; tak & quot; monisäieominaisuuksia esimerkki, jossa puuttuva leikkaus johtaisi nopeasti uuvuttavaa paikallisessa pinon käytettäessä SWI-Prolog johtuen luomiseen hyvin suuri määrä turhia valinnan pistettä.
  • Päivitetty & quot; mtbatch & quot; monisäieominaisuuksia esimerkki, jotta laajennettu vertailuanalyysiin & quot; tak & quot; Esimerkiksi.
  • Päivitetty MacPorts portfile ja skripti, joka päivittää sen poistamiseksi laskettaessa MD5, jota ollaan poistamassa MacPorts.
  • Päivitetty Inno Setup GUI Windows asennusohjelman script jotta kiertämään vian on SWI-Prolog Windows asentajat jossa asennuksen poiston eivät poista SWI-Prolog avaimet Windowsin rekisteristä.

Mikä on uusi versiossa 2.42.3:

  • Salli dynaaminen predikaatteja julistettu luokkaan kutsua & quot; tähän & quot; sisällä luokkaan. Aiemmissa versioissa, kuten puhelujen johtaisi käännettäessä virheen, pakottaa nämä predikaatteja kutsua & quot; itse & quot; (Käyttäen :: / 1 viestin lähettäminen kontrollirakenteella).
  • Lisätty Logtalk kääntäjä tukee valmiiksi käännetty lauseke päätä (käyttäen {} / 1 kontrollirakenteella). Tämä ominaisuus on tarpeen lähinnä käytettäessä termiä-laajennus mekanismi.
  • Korjattu vian koodin, joka yksinkertaistaa predikaatin lausekkeet syntyy kokoamista kieliopin sääntöjä. Koodi olisi silmukka, kun kieliopin sääntöä meta-muuttuja, jonka Logtalk kääntäjä olisi (mutta tällä hetkellä ei) raportin laiton (puhelu / 1 kontrollirakenteella tulisi käyttää sen sijaan tässä tapauksessa).
  • Yksinkertaistettu kokoamista puheluiden yhteydessä pseudo-objekti & quot; käyttäjä & quot;.
  • Lisätty debuggeri komento & quot; p & quot; että Logtalk sisäänrakennettu debugger. Tämä komento näyttää nykyisen tavoite käyttämällä print / 1 predikaatti, kun käytettävissä. Uudelleennimetyt debuggeri komento & quot; q & quot; & quot; Q & quot ;. Korjattu vika, jos debugger komento & quot; w & quot; ei tunnusteta. Muuttunut debuggeri komento & quot; d & quot; lainata termejä tarvittaessa.
  • Lisätty osittaista täytäntöönpanoa ISO Prolog predicate_property / 2 predikaatti Eclipse config tiedosto.
  • Päivitetty SWI-Prolog config tiedosto poistamiseksi virheellistä ilmoitusta kirjaston meta-predikaatteja dde_register_service / 2, aika / 1, ja kun / 2 kuten sisäänrakennettu meta-predikaatteja.
  • Applied vian korjauksen & quot; lippuja & quot; panos saataville sen tekijän, Theofrastos Mantadelis. Kiertotapa yhteensopivuus ongelma GNU Prolog.
  • Lisätty memberchk / 2 predikaatti kirjastoon & quot; setp & quot; protokolla ja & quot; asettaa & quot; esine. Lisätty predikaatteja is_control / 1, is_newline / 1, ja is_end_of_line / 1 kirjastoon & quot; characterp & quot; ja & quot; merkki & quot; yhteisöistä.
  • Lisätty kokeellinen esimerkki käyttää johtuvan muuttujia Logtalk esineiden ja luokat. Tällä hetkellä edellyttää YAP tai SWI-Prolog kuin back-end Prolog kääntäjä.
  • Lisätty tuki indexicals että & quot; rajoitteita / sicstus & quot; Esimerkiksi.
  • Laajennettu & quot; valtuutetut & quot; esimerkiksi näyte täytäntöönpanoa valtuutuksenantajan käyttää parametrinen objekti.
  • Laajennettu & quot; dynpred & quot; Esimerkiksi havainnollistamiseksi, miten määritellä luokka predikaatteja käsittelevissä dynaaminen predikaatteja yhteydessä & quot; tähän & quot; ja yhteydessä & quot; itse & quot;.
  • Lisätty wall_time / 1 predikaatti on & quot; cc & quot; Esimerkiksi.
  • Päivitetty syntaksikorostuksella testitiedostot, lisäämällä puuttuvat tosi / 0 ja hylätty / 0 ohjaus konstruktioita.

Mikä on uusi versiossa 2.42.2:

  • Päivitetty Logtalk kääntäjä, jotta tarkistamalla moduuli predikaatti ominaisuudet ilman tuomalla predikaatteja osaksi & quot; käyttäjä & quot; (Huomaa kuitenkin, että moduuli on vielä ladattu ennen kokoamista lähdetiedostot kutsuvan moduulin predikaatteja).
  • Päivitetty Logtalk kääntäjä, jotta voidaan tarkistaa käännettäessä instantiated sulkeminen argumentteja puhelu / 2-N tavoitteet yhteisiä ohjelmointivirheitä.
  • Päivitetty Logtalk kääntäjä, jotta saadaan aikaan varoitukset lambda ilmaisuja muuttujia, joita ei ole ilmoitettu joko vapaa muuttujia tai lambda parametrit tai muuttujat, joita ilmoitettu sekä vapaa muuttujat ja lambda parametrit. Kiitos Jan Burse epäillä näiden järki tarkastuksia.
  • Päivitetty Logtalk runtime tukemiseksi käyttäen & # X3C; & # X3C; / 2 ohjaus rakentaa sulkemista meta-argumentit meta-predikaatteja.
  • Lisätty tuki kootaan Vapaa / Maalin lambda ilmaus puhelut (automaattisesti tuottaa avustavan predikaattia mahdollisuuksien).
  • Lisätty compile_aux_clauses / 1 julkinen tapa, joka perustuu predikaatin kanssa samanniminen SWI-Prolog, että sisäänrakennettu objekti & quot; logtalk & quot ;. Tämä menetelmä on yleensä kutsutaan goal_expansion / 2 koukkua, jotta koota ylimääräisiä lausekkeita luotu tukemaan laajennetun tavoite.
  • Added meta-predikaatti sivuuttaa / 1, toteutetaan joidenkin Prolog kerääjiä kuin sisäänrakennettu predikaatti, koska Logtalk sisäänrakennettu menetelmällä.
  • Päivitetty SWI-Prolog config tiedosto estämiseksi automaattisen latauksen moduulin kirjastojen kun kyselyjä predikaatti ominaisuuksia Logtalk.
  • Päivitetty Qu-Prolog, SICStus Prolog, ja xsb config tiedostoja Jotta saataisiin käyttöön predikaatti term_variables / 2 ISO-sisäänrakennettu predikaatti.
  • Päivitetty Qu-Prolog integraatio skriptit jotta kaksinkertaistaa keon kokoa arvo kokoamiseen Logtalk kääntäjä / runtime, ratkaisemaan käynnistys kaatuu.
  • Palautettu MacOS X komento-tiedosto GNU Prolog (siirretty ylöspäin & quot; skriptejä / macosx / command_files / tueta & quot; kansio).
  • Lisätty predikaatteja findall_member / 4-5 kirjastoon objekti & quot; meta & quot; (Perustuen Richard O'Keefe luonnoksesta Prolog kirjasto ehdotus). Poistettu ilmoitus ja määrittely predikaatteja vaadittaessa maksettavia / 1 ja sivuuttaa / 1 kokoelmasta yksiköiden & quot; METAP & quot; ja & quot; meta & quot; (Omavelkaisia ​​/ 1 on sisäänrakennettu predikaatti kaikilla tuetuilla Prolog kääntäjiä, välittämättä / 1 on nyt Logtalk sisäänrakennettu menetelmä).
  • Lisätty kirjasto esine, & quot; meta_compiler & quot ;, joka voidaan käyttää koukku esine laajentaa puhelut meta-predikaatteja määritelty kirjaston objekti & quot; meta & quot; välttämiseksi meta-puhelu yleiskustannukset. Tapauksista, joissa meta-predikaatti puhelua ei voida optimoida, oletuksena määritelmä & quot; meta & quot; objektia käytetään. Käyttäen ohjaus konstruktioita kuten meta-argumentteja ei ole (vielä) tueta. Keskeneräiset.
  • Lisätty protokolla, & quot; loggingp & quot ;, ja luokka ja objekti toteutukset, & quot; puunkorjuun & quot; ja & quot; metsuri & quot ;, julistaa ja määrittelemällä perustoiminnot kirjautumista tapahtumia tiedostoja kirjastoon.
  • Lisätty protokolla, & quot; intervalp & quot ;, ja objektin, & quot; intervalli & quot ;, julistaa ja määritellään perus ajallinen väli suhteita kirjastoon (perustuu James F. Allen Interval Algebra työ).
  • Lisätty luokka täytäntöön nimeltään kokonaisluku laskurit, & quot; laskurit & quot ;, kirjastoon.
  • lisätyt predikaatteja proper_prefix / 2 ja proper_suffix / 2 kirjastoon yhteisöille & quot; listp & quot ;, & quot; lista & quot ;, ja & quot; difflist & quot;.
  • lisätyt predikaatti osaksi / 2 kirjastoon objekti & quot; paria & quot;.
  • lisätyt kaksi pseudo-esimerkkiä testausta varten, & quot; lambdas_compiled & quot; ja & quot; metapredicates_compiled & quot ;, joka hyödyntää uuden kirjaston objekti
  • & quot; meta_compiler & quot;.
  • Päivitetty & quot; laajentamiseen & quot; Esimerkiksi havainnollistamiseksi, miten määritellä ja yhdistää koukku esineitä.
  • Lisätty tuki käyttämällä SyntaxHighlighter pakettia (versio 3.0.83 tai uudempi) Alex Gorbatsjov kanssa Logtalk lähdekoodia.
  • Lisätty puuttunut syntaksin värityksen else / 0 ehdollisen kokoelma direktiivi GNU Source-highlight highlighter tuki.
  • Lisätty muistion Logtalk tekstin muokkaus tukea saatavilla vapaasta MacOS X Kod tekstieditori.
  • Lisätty syntaksin väritys tuki uudelle sivuuttaa / 1 sisäänrakennettu tapa kaikissa tuetuissa editorit ja syntaksin korostus.

Mikä on uusi versiossa 2.42.1:

  • Lisätty tuki Logtalk kääntäjä havaitsemiseksi ja raportointi puuttuu dynaaminen / 1 ja vierekkäiset / 1 predikaatti direktiivien.
  • Lisätty uusi nukkaa lippu, & quot; missing_directives & quot ;, jossa oletusarvo & quot; varoitus & quot ;, kaikille asetustiedostoihin. Tämä lippu mahdollistaa tulostamisen kääntäjän varoitukset puuttuvat dynaamiset / 1, vierekkäiset / 1, ja multifile / 1 predikaatti direktiivien.
  • Lisätty tuki uusille meta-predikaatti mallin tilassa indikaattorit: (/) on predikaatti indikaattori, [/] on luettelo predikaatti indikaattoreista, ja [0] on luettelo tavoitteista.
  • Oikaisu vian Logtalk kääntäjä kun tarkkailun meta-predikaatti lauseke päätä virheistä ollessaan & quot; :: & quot; meta-argumentti osoitin oli vielä tulkita & quot; 0 & quot;.
  • Oikaisu vian käsittelyä sulkemiseen (meta-puhelut), joita käytetään rakentamaan puhelut ohjata konstruktioita tai sisäänrakennettu predikaatteja mikä saattaa johtaa kutsuvan joissakin meta-argumentteja väärässä yhteydessä. Kiitos Ulrich Neumerkel varten havainnollistaa esimerkiksi SWI-Prolog listaa.
  • Päivitetty Logtalk kääntäjä välttämiseksi tulostuksen varoituksia puuttuu viittauksia & quot; laajentamalla & quot; ja & quot; tarkkailu & quot; sisäänrakennettu protokollia koostettaessa moduuleja esineitä.
  • Palautettu muutokset versioon 2.39.2, joka mahdollisti pseudo-objekti & quot; käyttäjä & quot; lähes sisältävät määritelmän kaikkien Prolog sisäänrakennettu predikaatteja. Tämä voi johtaa erilaisiin tuloksiin riippuen back-end Prolog kääntäjä, erityisesti soitettaessa meta-predikaatteja yhteydessä & quot; käyttäjä & quot;.
  • Oikaisu vian SWI-Prolog & quot; swihooks.lgt & quot; tiedosto, joka johti väärä virheilmoitus virheellisen Logtalk lipun kun neuvoa Prolog tiedosto kun on Logtalk lähdetiedoston samanniminen samassa hakemistossa.
  • Lisätty puuttunut tuki omaa sisäänrakennettu meta-predikaatteja B-Prolog, SICStus Prolog, SWI-Prolog, xsb, ja YAP asetustiedostoihin.
  • Päivitetty SICStus Prolog, SWI-Prolog, ja YAP config tiedostot järjestyksessä ohittaa meta-predikaatti malleja varten kuultava / 1 ja load_files / 2 sisäänrakennettu predikaatteja.
  • Lisätty toteutus map_reduce / 5 meta-predikaatti kirjastoon objekti & quot; meta & quot;.
  • Lisätty toteutus command_line_arguments / 1 predikaatti on & quot; cc & quot; Esimerkiksi.
  • Päivitetty & quot; lambdas & quot; ja & quot; metapredicates & quot; esimerkkejä, jotka kuvaavat miten lasketaan Fibonaccin luvut käyttäen kertaiseksi vasemmalla meta-predikaatti. Päivitetty & quot; metapredicates & quot; Esimerkiksi joiden käyttö esimerkki map_reduce / 5 meta-predikaatti.
  • Päivitetty & quot; problog & quot; Esimerkiksi lisäämällä alustava tuki uudelle selityksin Menoja jätetään päätösten ulkopuolelle syntaksin.
  • Lisätty & quot; taika & quot; elementin Logtalk mime-type tiedosto freedesktop.org jaetun mime- info tietokantaan.

Mikä on uusi versiossa 2.42.0:

  • Lisätty toteuttamisesta pysyvän objektin lippuja.
  • Lisätty uuden parin sisäänrakennettu predikaatteihin, conforms_to_protocol / 2-3, toteuttamisesta transitiivinen sulkeminen protokollatoteutuksen suhteen.
  • Lisätty kokeellinen direktiivi, kommentointi / 1, tukemiseksi Logtalk integrointi muihin kieliin kuten ProbLog ja CHR.

















Vastaavia ohjelmistoja

sweet.js
sweet.js

28 Feb 15

Gambit
Gambit

9 Feb 16

Lua
Lua

21 Jul 15

ClearScript
ClearScript

20 Jul 15

Muu ohjelmistojen kehittäjä Paulo Moura

Logtalk
Logtalk

14 Apr 15

Kommentit Logtalk

Kommentteja ei löytynyt
Lisää kommentti
Ota kuvia!
Haku luokan mukaan