Logtalk

Prolog egy általános célú logikai programozási nyelv, amely adták vissza 1972-ben, nagyon kevés frissítések óta.

Logtalk jött létre, hogy adjunk több modern funkciókat Prolog, főleg a teljesítmény javítására, lambda kifejezéseket, nyelvtani szabályok, a jobb fordító hibák és figyelmeztető jelentés.

Ezen felül, hozzá egy egyszerűbb telepítést és Prolog fordító kompatibilitás frissítéseket.

Ez teszi Logtalk egy jobb, megfelelő alternatívát Prolog a mai AI és a számítógépes nyelvészet forgatókönyv, a sokkal erősebb, több paradigma nyelv, amely alkalmas az eseményvezérelt és magas szintű multi-threading programozás.

Jelenleg Logtalk szintaxis kiterjeszti szabványos Prolog szintaxis és futtathat Logtalk a következő Prolog fordítóprogramok:

B-Prolog

CxProlog

Eclipse

GNU Prolog

Lean Prolog

Qu-Prolog

SICStus Prolog

SWI Prolog

xsb

YAP

Mi az új ebben a kiadásban:

• Továbbfejlesztett:
• Változások a kifejezés címkék íráskor használt lefordított kód, amivel minimálisra csökkenthető a méret a keletkező közbenső Prolog használó fájlokat a címkéket, hogy mikor kell díszíteni összeállított viszonyban forrás helyének adatait (jelenleg csak SWI-Prolog kihasználja a helymeghatározó adatok).
• FIX:
• Egy fájl egynél több szülő fájl.

Mi az új verzió 3.02.2:

• Továbbfejlesztett:
• Változások a kifejezés címkék íráskor használt lefordított kód, amivel minimálisra csökkenthető a méret a keletkező közbenső Prolog használó fájlokat a címkéket, hogy mikor kell díszíteni összeállított viszonyban forrás helyének adatait (jelenleg csak SWI-Prolog kihasználja a helymeghatározó adatok).
• FIX:
• Egy fájl egynél több szülő fájl.

Mi az új verzió 3.02.1:

• Továbbfejlesztett:
• Változások a kifejezés címkék íráskor használt lefordított kód, amivel minimálisra csökkenthető a méret a keletkező közbenső Prolog használó fájlokat a címkéket, hogy mikor kell díszíteni összeállított viszonyban forrás helyének adatait (jelenleg csak SWI-Prolog kihasználja a helymeghatározó adatok).
• FIX:
• Egy fájl egynél több szülő fájl.

Mi az új verzió 3.00.4:

• Továbbfejlesztett:
• Változások a kifejezés címkék íráskor használt lefordított kód, amivel minimálisra csökkenthető a méret a keletkező közbenső Prolog használó fájlokat a címkéket, hogy mikor kell díszíteni összeállított viszonyban forrás helyének adatait (jelenleg csak SWI-Prolog kihasználja a helymeghatározó adatok).
• FIX:
• Egy fájl egynél több szülő fájl.

Mi az új verzió 3.00.2:

• Továbbfejlesztett:
• Változások a kifejezés címkék íráskor használt lefordított kód, amivel minimálisra csökkenthető a méret a keletkező közbenső Prolog használó fájlokat a címkéket, hogy mikor kell díszíteni összeállított viszonyban forrás helyének adatait (jelenleg csak SWI-Prolog kihasználja a helymeghatározó adatok).
• FIX:
• Egy fájl egynél több szülő fájl.

Mi az új verzió 3.00.1:

• Továbbfejlesztett:
• Változások a kifejezés címkék íráskor használt lefordított kód, amivel minimálisra csökkenthető a méret a keletkező közbenső Prolog használó fájlokat a címkéket, hogy mikor kell díszíteni összeállított viszonyban forrás helyének adatait (jelenleg csak SWI-Prolog kihasználja a helymeghatározó adatok).
• FIX:
• Egy fájl egynél több szülő fájl.

Mi az új verzió 2.44.1:

• Javított hiba összeállításához meta_non_terminal / 1 irányelv ahol csak az első meta-érv lenne helyesen feldolgozni.
• A frissített Eclipse konfigurációs fájlt felismerni, ha fut a Windows 64 bites rendszereket, és figyelmen kívül hagyja a nem az állítmány és a nem-kezelő export amikor előkezelést lib / 1 irányelvek.
• A frissített egység vizsgálati keret, hogy a nyomtatott tájékoztató üzeneteket nem unit tesztek.
• Added állítmány osztott / 4 (felosztása a listát listákat egy adott hosszúságú), hogy a & quot; listp & quot ;, & quot; listában & quot ;, és & quot; difflist & quot; könyvtári szervezetek.
• A frissített & quot; cc & quot; Például egy meghatározást a shell / 2 predikátum az CxProlog.
• Megváltozott a nevét a tárgyakat a & quot; km & quot; Például, hogy elkerülje a neve ütközik, amikor fut a példa egység vizsgálatok.
• Javított hiba a Windows telepítő, amely megakadályozta felderítése Yap 64 bit változatban. Hála Stepan Ipatov hibajelentést.

Milyen új verzió 2.44.0:

• Ez a kiadás megváltoztatja a szemantika kiegészítve kategória, amely lehetővé teszi annak használata a patch már meglévő tárgyi kód javítások két hibát a feldolgozó meta-hívások, lehetővé teszi, hogy nyitott listák terminálok a szervezetben DCG szabályokat, két új példát, és javítja támogatja a vim szövegszerkesztő és dús ctags.

Mi az új verzió 2.43.3:

• Javított hiba a Logtalk fordító futásidejű felvezető ahol nem sikerült visszafordítani belső entitás azonosítók dobás közben entitás létezése kivétel.
• A frissített Lean Prolog config file-t index / 1 irányelveket néhány dinamikus predikátumok által használt belső Logtalk futásidejű táblákat.
• A frissített SWI-Prolog integráció fájlokat tesztelni a rendelkezésre álló index / 1 irányelv, amely elavult az új kísérleti SWI-Prolog támogatása just-in-time, több érv indexelés.
• Added predikátumok alszekvencia / 4 (generáló alszekvencia egy listát egy adott hosszúságú), helyettesítse / 4 (helyettesítésére a lista elemeit), és hamming_distance / 3 a könyvtár & quot; listp & quot; és a & quot; listában & quot; szervezetek.
• Added euclidean_norm / 2, chebyshev_norm / 2, manhattan_norm / 2, euclidean_distance / 3, chebyshev_distance / 3, manhattan_distance / 3, és scalar_product / 3 predikátum a könyvtár & quot; numberlistp & quot; és a & quot; numberlist & quot; szervezetek.
• Javított néhány buta hibákat a meghatározása a & quot; karakter & quot; könyvtárobjektumból predikátumok is_bin_digit / 1, is_octal_digit / 1, is_dec_digit / 1 és is_hex_digit / 1.
• Frissült a könyvtár & quot; all_loader.lgt & quot; rakodó fájlt töltse be az & quot; meta_compiler_loader.lgt & quot; rakodó fájlt.

Mi az új verzió 2.43.2:

• Optimalizált feldolgozása szereplő nyilatkozatok összeállításakor forrásfájlok és dinamikusan új entitások.
• A frissített Logtalk fordító használja a & quot; modulok & quot; fordító zászló vizsgálata során a Prolog modul támogatása, így elkerülhető az összeállítással kapcsolatos back-end Prolog fordítóprogramok, amelyek nem támogatják a modulrendszer, de még mindig meghatározzák (:) / 2 beépített vezérlő szerkezet vagy állítmány.
• támogatását megszüntettük a & quot; startup_message & quot; fordítóprogram zászló & quot; zászlók (kompakt) & quot; és & quot; zászlók (részletes) & quot; értékek helyébe egyetlen érték, & quot; flags & quot ;, amely megfelel a régi & quot; zászlók (kompakt) & quot; értéke.
• Javított hiba használatakor op / 3 irányelvek a create_protocol / 3, create_object / 4, és create_category / 4 beépített predikátumok, ahol a helyi szolgáltató nyilatkozatok lenne kívülről is látható az új szervezetek.
• Javított hiba, ha létrehoz egy új, dinamikus entitás futásidőben megad egy már nem használt könyvelési dinamikus állítmány, ami nem kell törölni, ha az egység megszüntetését.
• Javított fordítóprogram hibát, a & quot; super & quot; hívja objektumon belül, hogy csak példányosítja magát, és nem specializálódik semmilyen tárgy lenne dobni egy kivételt, hanem, hogy nem.
• A frissített & quot; referenciaértékek & quot; Például annak érdekében, hogy megvédje aritmetikai kivételek, amikor a számítástechnikában a hívások száma másodpercenként minden egyes teszt. Csökkentette a benchmark teszt ismétlések, amikor fut a készülék ellenőrzi, hogy elkerüljék hosszadalmas számítási idők lassú back-end Prolog fordítóprogramok.

Mi az új verzió 2.43.1:

• Megváltozott a fordító, hogy vegye figyelembe a felhasználás / 2 irányelv összeállításakor hívások az adatbázishoz beépített módszerekkel. Ez a változás kiterjed a szemantika a felhasználási / 2 irányelv és megkönnyíti a migrációt a sima Prolog alkalmazások Logtalk.
• Added kísérleti támogatása egy állítmány sablont érv a coinductive / 1 irányelv. A sablon segítségével a specifikáció, amely érvek értelmes coinductive siker. Alapján hasonló funkcionalitást megtalálható a Feliks Kluzniak a DRA meta-tolmács.
• Továbbfejlesztett támogatás hibakeresés coinductive predikátumok, ha a Logtalk beépített debugger.
• Az eltávolított coinduction támogatást CxProlog. A jelenlegi változata a fordító hiányzik puha vágott beépített predikátum vagy ellenőrzés konstrukció, amely most szükség a kísérleti coinduction végrehajtását.
• Emelt régóta korlátozás, amely megakadályozta, hogy a felhasználó meghatározása wrapper predikátumaként a bagof / 3 és setof / 3 beépített eljárások, amikor a cél argumentum használhatják a ^ / 2 egzisztenciális kvantor.
• Added support for a & quot; ^ & quot; meta-állítmány meta-érv mód specifikátor által javasolt Jan Wielemaker és megtalálható SWI-Prolog 5.11.25. Ez az üzemmód akkor hasznos, specifikátor meghatározásakor csomagolást a bagof / 3 és setof / 3 beépített eljárások, amikor a cél argumentum használhatják a ^ / 2 egzisztenciális kvantor.
• Added & quot; prolog_compiler & quot; és a & quot; prolog_loader & quot; fordító zászlók, amelyek lehetővé teszik halad lehetőségek a back-end Prolog fordítóprogram beépített állítmányoknak összeállítása a lemezre, és betölteni a (lefordított) Prolog zászló. Az alapértelmezett érték mindkét zászló az üres lista.
• Javított hiba összeállításakor hívások Prolog szabadalmaztatott beépített meta-predikátumok ahol a Logtalk fordítóprogram is megpróbálja feldolgozni nem meta-érveket célokat. Ez a hiba csak a megnyilvánult néhány back-end Prolog fordítóprogramok, mint a napfogyatkozás.
• Javított hiba a feldolgozás a feltételes fordítási direktívák.
• Javított hiba, ami megakadályozta elhaladó alias / 3 irányelvek hívások create_object / 4, create_category / 4, és create_protocol / 3 beépített predikátumok.
• Eltávolítva a beépített objektum & quot; logtalk & quot; A decompile_predicate_head / 4 és decompile_predicate_indicator / 4 elavult módszereket.
• Visszavonta támogatja a hosszú elavult Logtalk metapredicate / 1 irányelv.
• Javított teljesítmény hibát, amikor cache-hívások kategória predikátumok, ahol a tárolt bejegyzéseket lehet pontosabb, mint amennyi szükséges, ha dolgozik, parametrikus kategória.
• Továbbfejlesztett cache-& quot; super & quot; felhívja belülről prototípusok. Korábban minden tárolt bejegyzéseket lenne szakosodott értékével & quot; saját & quot; annak érdekében, hogy megfelelően kezelni a különleges esetekben, amikor egy tárgyat egyaránt példányosít és szakosodott egyéb tárgyak.
• A frissített Logtalk fordító aktiválni a kezelő nyilatkozatok találhatók állítmány hatálya irányelvek összeállítása során a szervezetek, amelyek az irányelvek.
• javult a teljesítménye a coinductive predikátumok használata back-end Prolog fordítóprogramok, mint SICStus Prolog, amelyek nem biztosítják a lágy vágott vezérlés konstrukció, de biztosítja a puha vágott beépített meta-állítmány (ha / 3).
• Javított hiba, ha a hamis jelentést összeállítása / terhelés figyelmeztetés lehet nyomtatni, ha a forrás fájl összeállított / megrakva a fordító zászló & quot; az & quot; ki van kapcsolva.
• Added & quot; streamvars & quot; könyvtárobjektumból, nyert a létező & quot; assignvars & quot; könyvtár létesítmény, mely támogatja a hozzá és visszakeresésére feltételek (amely lehet változó) egy & quot; folyam & quot; változó.
• A frissített & quot; coinduction & quot; Például, kihasználva a fokozott coinductive / 1 irányelv és szélesítése számú egyéni példákat lehet futtatni a SICStus Prolog. Hozzáadott modell ellenőrzése használata például coinduction, coroutining, és korlátok.
• A frissített & quot; metapredicates & quot; Például a minta kódját mutatja be, hogyan határozzák meg csomagolást a bagof / 3 és setof / 3 beépített eljárások, amikor a meta-argumentum tartalmazhat egzisztenciálisan képzett változókat.
• A frissített & quot; cc & quot; Például, javítása állítmány meghatározások több back-end Prolog fordítóprogramok és hozzá néhány alapvető egység vizsgálatok.
• A frissített & quot; kódolás & quot; Például korlátozott támogatása Lean Prolog.
• Added hiányzó szövegrészek meta_non_terminal / 1 irányelv és a hívás // N nemterminális a & quot; segíteni & quot; példa.
• Added egy elemző a PDDL 3,0 fájlok hozzájárult Robert Sasak.
• Added kód összecsukható támogatása a SubEthaEdit szövegszerkesztő. Hozzáadott kód összecsukható támogatása feltételes fordítási blokk a Kate, Vim, és TextMate szövegszerkesztők.
• A frissített integráció parancsállománnyal betölteni a könyvtár utak fájl betöltése előtt Logtalk compiler / futás közben. Ez a változás célja, hogy egyszerűsítse betöltése könyvtár és példa fájlokat a beállításokat tartalmazó fájlokat. Ezen kívül is keressük a Logtalk telepítési könyvtárat a $ HOME / share, amikor a LOGTALKHOME környezeti változó nincs definiálva.
• frissítve a Windows telepítő támogatása érdekében Lean Prolog és észlelni YAP 64 bit verzió.

Mi az új verzió 2.43.0:

• Added kísérleti támogatása Lean Prolog.
• Eltávolították az Logtalk fordító korlátozás kényszerítette discontiguous / 1-es és a dinamikus / 1 irányelvek előzi hívásokat a bejelentett predikátumok.
• Javított az Logtalk fordító jelentését rosszul írt hívások nem terminálok nyelvtani szabályokat.
• Hagyjuk a használatát: / 1 vezérlő megépíteni a testület nyelvtani szabályokat.
• Ha a hibakeresési üzenetek meghatározott felhasználás / 2 irányelvek, az üzenet most nyomtatott implicit képzett, mint a forráskód a felhasználó által írt.
• Megváltozott a belső predikátumok használt végrehajtásának beépített multi-threading predikátumok megkönnyítése érdekében az integráció magas szintű hibakereső eszközök, amelyekhez dekompilálása generált Prolog kód.
• Javított hiba a könyvtár támogatása unit tesztek, & quot; lgtunit & quot ;, amennyiben a vizsgálatot az eltérésekre is fogad el semmilyen kivételt kifejezés megfelel a készülék vizsgálati előírások.
• A frissített & quot; cc & quot; Például a hibajavítások és fejlesztések Eclipse hozzájárult Joachim Schimpf, a hibajavítást az SWI-Prolog végrehajtásának expand_path / 2 állítmány (eredő legutóbbi változtatások az SWI-Prolog absolute_file_name / 3 beépített predikátum), és meghatározását a command_line_arguments / 1 predikátum B-Prolog.
• A frissített & quot; coinduction & quot; Például, hozzátéve néhány egyedi példája.
• A frissített & quot; xml_parser & quot; hozzájárulás érdekében megkerülhető hordozhatóság kérdések GNU Prolog.
• Helyes egy hiba a shell script, ahol & quot; # / bin / bash & quot; alkalmaztunk a & quot; #! / bin / bash & quot ;. Hála Yiorgos Adamopoulos hibajelentést.
• A frissített Inno Setup GUI a Windows telepítő script annak érdekében, hogy a teljes telepítést nem admin felhasználó számára.
• Added szintaxis támogatja az ISO Prolog irányelv tartalmazza / 1 az összes támogatott szövegszerkesztők és szintaxis kiemelőket.
• Javított néhány hiba a lapon kiváltja a Gedit Logtalk töredék, amely megakadályozta azok használatát.
• Megváltozott vissza a XEP helyett HOP generálása során PDF formátumú felhasználói kézikönyvek és Referencia FOP megcsonkítja tartalmát bizonyos oldalakat.

Mi az új verzió 2.42.4:

• Hozzáadva entity_prefix / 2 állítmány és két hasznosság predikátumok, decompile_predicate_heads / 2-4 és decompile_predicate_indicators / 2-4, a & quot; logtalk & quot; beépített objektumot. Jelzett a decompile_predicate_head / 4 és decompile_predicate_indicator / 4 elavultként.
• A támogatás megőrzése körét tájékoztatást az üzemeltetők deklarálni hatálya irányelvek fordítási időben. Hozzáadott információt szervezet bejelentett üzemeltetők az XML dokumentálása fájlokat. Frissült a szöveg, PDF, és (X) HTML konverziós szkriptek kinyomtatni szereplő információkat.
• Alkalmazott néhány alacsony szintű optimalizáció a Logtalk compiler / futás közben.
• áthelyezve a belső állítmányoknak megépíteni, és elérheti az állítmány végrehajtási környezetet a fordítóprogram a Prolog konfigurációs fájlok támogatása érdekében a finom hangolás azaz Prolog fordítóprogram függ.
• Frissítve végrehajtásának menetes / 1 multi-threading beépített predikátum érdekében, hogy egy kis teljesítmény-optimalizálás alapuló term_variables / 2 beépített predikátum által javasolt Timon Van Overveldt. Ez az optimalizálás célja, hogy csökkentse a felesleges példányt, és egyesítése szempontjából. Ezen túlmenően, cserélje ki a használata a setup_call_cleanup / 3 beépített predikátum a fogás / 3 beépített predikátum egyszerűsítése kezelését egyaránt a master és slave szálak, ami szintén növeli a teljesítményt.
• Javított hiba a végrehajtása a menetes / 1 multi-threading beépített predikátum, amennyiben a meghibásodás a felhasználó számára, hogy független célok amikor megpróbálja használni a független és-párhuzamosság eredményezne zombi témában.
• További tájékoztató kivétel feltételeket, amikor megpróbál, hogy állapítsa meg a szinkronizált állítmány dinamikus vagy dinamikus állítmány mint szinkronizálva.
• A frissített xsb config file támogatása érdekében összeállításának modulok tárgyakat. Hozzáadott egy meghatározást a hiányzó setup_call_catcher_cleanup / 4 beépített predikátum. Xsb 3.3 (vagy frissebb verzió) program most szükséges kompatibilitás Logtalk.
• A frissített SWI-Prolog config fájlt annak érdekében, hogy korlátozott támogatás arithmetic_function / 1 tulajdoni irányelv (aritmetikai funkciók összeállítása globális helyett a helyi a tárgyak vagy kategóriák meghatározása őket).
• A frissített YAP config fájlt, hogy figyelmen kívül hagyja a style_check / 1 irányelv és értelmezni az yap_flag / 2 irányelvet a set_prolog_flag / 2 irányelvet.
• Megváltozott az alapértelmezett XSL-FO processzor (előállítására használt PDF formátumú felhasználói kézikönyvek és Referencia) származó XEP a FOP.
• A frissített & quot; xml_parser & quot; hozzájárulás érdekében megkerülhető hordozhatóság problémák Qu-Prolog, SICStus Prolog és xsb.
• A frissített & quot; kódolás & quot; Például annak érdekében, hogy a nem szóköz, mielőtt a kódolás / 1 irányelv.
• A frissített & quot; attvars & quot; Például annak érdekében, hogy támogassák a B-Prolog és xsb. Szintén hozzáadott támogatása segítségével tulajdonítható változókat Logtalk parametrikus tárgyak és a parametrikus kategóriákban. Hála Jan Wielemaker, vator Santos Costa, és Bart Demoen visszajelzést és végrehajtási javaslatokat.
• A frissített & quot; profilerek & quot; Például az előzetes támogatását a módosítások végrehajtása profilalkotás SICStus Prolog 4.2 verzió.
• A frissített & quot; expanzió & quot; például több mintakódot hogyan lehet kombinálni szorgalmi és a cél-bővítés definíciók különböző horgok tárgyak.
• A frissített & quot; coinduction & quot; Például úgy, hogy egy kísérleti keysort / 2 coinductive állítmány. Köszönet Jan Burse a javaslatot.
• A frissített & quot; tak & quot; multi-threading például amikor egy hiányzó vágott vezetne gyorsan kimeríti a helyi stack használatával SWI-Prolog kialakulása miatt igen nagy számú haszontalan választás pont.
• A frissített & quot; mtbatch & quot; multi-threading például annak érdekében, hogy bővült a teljesítményértékelés a & quot; tak & quot; példa.
• A frissített MacPorts portfile és a forgatókönyv, hogy frissíti annak érdekében, hogy távolítsa el a számítás a MD5 ellenőrző, amely fokozatosan megszűnik a MacPorts.
• A frissített Inno Setup GUI a Windows telepítő script, hogy megkerülhető egy hiba a SWI-Prolog a Windows telepítők ahol az eltávolítási eljárás nem törli az SWI-Prolog kulcsokat a Windows rendszerleíró adatbázisában.

Mi az új verzió 2.42.3:

• , hogy a dinamikus predikátumok bejelentett egy kategóriában lehet nevezni & quot; ez & quot; belül a kategóriában. A korábbi verziókban az ilyen hívások vezetne egy fordítási hiba, arra kényszerítve ezeket predikátumok nevezhető & quot; saját & quot; (A :: / 1 üzenetküldést ellenőrző konstrukció).
• Added Logtalk fordító támogatása előre összeállított kikötés fejek (a {} / 1 vezérlő szerkezet). Ez a funkció akkor hasznos, ha a kifejezés-bővítési mechanizmus.
• Javított hiba a kód, amely leegyszerűsíti az állítmány kikötések által generált összeállítása nyelvtani szabályokat. A kód hurok, amikor a nyelvtani szabályt tartalmazott egy meta-változó, amely a Logtalk fordító kellene (de jelenleg nem) az illegális (a hívás / 1 vezérlő szerkezetet kell használni, hanem az ebben az ügyben).
• Egyszerűsített összeállításához hívások keretében a pszeudo-objektum & quot; user & quot;.
• Added hibakereső parancs & quot; p & quot; A Logtalk beépített debugger. Ez a parancs kiírja a jelenlegi cél a nyomtatási / 1 predikátumot, ha rendelkezésre áll. Átnevezték a hibakereső parancs & quot; q & quot; & quot; Q & quot ;. Javított hiba, ha a hibakereső parancs & quot; w & quot; nem lenne felismerhető. Megváltozott a hibakereső parancs & quot; d & quot; idézve feltételeket, amikor szükséges.
• Added részleges végrehajtása az ISO Prolog predicate_property / 2 predikátum az Eclipse konfigurációs fájlban.
• A frissített SWI-Prolog config fájlt annak érdekében, hogy távolítsa el a téves nyilatkozatot a könyvtár meta-predikátumok dde_register_service / 2, az idő / 1, és ha / 2 beépített meta-predikátumok.
• Alkalmazott a hibajavítás a & quot; flags & quot; hozzájárulás által rendelkezésre bocsátott szerzője, Theofrastos Mantadelis. Kerülő megoldás egy kompatibilitási problémát GNU Prolog.
• Added memberchk / 2 predikátumot a könyvtár & quot; SETP & quot; protokoll és a & quot; készlet & quot; tárgy. Hozzáadott predikátumok is_control / 1, is_newline / 1 és is_end_of_line / 1 könyvtárba & quot; characterp & quot; és a & quot; karakter & quot; szervezetek.
• Added kísérleti példa segítségével tulajdonított változókat Logtalk tárgyak és kategóriákat. Jelenleg használatát igényli Yap vagy SWI-Prolog mint a back-end Prolog fordítóprogram.
• Added support for indexicals a & quot; megszorítások / SICStus & quot; példa.
• Bővített az & quot; küldöttek & quot; Például egy minta megvalósítása egy átruházó egy parametrikus objektum.
• Bővített az & quot; dynpred & quot; például azért, hogy bemutassa, hogyan lehet meghatározni a kategóriában állítmányoknak kezelje a dinamikus predikátumok keretében & quot; ez & quot; és összefüggésben a & quot; önálló & quot;.
• Added wall_time / 1 predikátumot a & quot; cc & quot; példa.
• A frissített szintaxiskiemelést tesztfájlokat, hozzátéve hiányzik true / 0, és nem / 0 vezérlő szerkezeteket.

Mi az új verzió 2.42.2:

• A frissített Logtalk fordítóprogram annak érdekében, hogy ellenőrzése modul állítmány tulajdonságok nélkül importálja a predikátumok a & quot; user & quot; (Megjegyzendő azonban, hogy a modult kell még előtt betöltött összeállításához forrás fájlokat hívja a modul predikátumok).
• A frissített Logtalk fordító ellenőrzése érdekében fordításidejű példányai bezárása érvek hívás / 2-N célok közös programozási hibák.
• A frissített Logtalk fordító generálása érdekében figyelmeztetések lambda kifejezéseket változókat, amelyek nem nyilvánították sem szabad változók vagy lambda paraméterek vagy változók nyilvánították mind a szabad változók és lambda paramétereket. Köszönet Jan Burse felvetette ezeket a legtöbb ellenőrzési.
• A frissített Logtalk futásidejű támogatása érdekében a & # X3c; & # X3c; / 2 vezérlő konstrukció bezárását meta-érveit meta-predikátumok.
• A támogatás összeállításának Free / Cél lambda kifejezés hívásokat (automatikusan generál egy segéd állítmány, ha lehetséges).
• Added compile_aux_clauses / 1 nyilvános eljárás alapján a predikátum és az azonos nevű SWI-Prolog, a beépített objektum & quot; & quot ;. logtalk Ez a módszer általában hívott goal_expansion / 2 horgok összeállításához kiegészítő záradékok keletkezett támogató kiterjesztett cél.
• Added a meta-állítmány ignore / 1 által végrehajtott egyes Prolog fordítóprogramok, mint a beépített predikátum, mint Logtalk beépített módszerét.
• A frissített SWI-Prolog config fájlt annak érdekében, hogy megakadályozzák az automatikus betöltését modul könyvtárak lekérdezésekor állítmány tulajdonságokkal Logtalk.
• A frissített Qu-Prolog, SICStus Prolog és xsb konfigurációs fájlok annak érdekében, hogy elérhető az alapul term_variables / 2 ISO beépített predikátum.
• A frissített Qu-Prolog integráció scriptek segítségével, hogy megduplázza a kupac mérete értéket összeállításáért Logtalk compiler / runtime, oldja a startup összeomlás.
• A helyreállított MacOS X parancs-fájl GNU Prolog (feljebb a & quot; scripts / macosx / command_files / támogatott & quot; mappa).
• Added predikátumok findall_member / 4-5 a könyvtár & quot; meta & quot; (A Richard O'Keefe tervezete Prolog könyvtár javaslat). Eltávolított Deklaráció és a predikátumok lehívható / 1 és figyelmen kívül hagyja / 1-től a könyvtár szervezetek & quot; METAP & quot; és a & quot; meta & quot; (Lehívható / 1 egy beépített predikátum minden támogatott Prolog fordítóprogramok törődni / 1 most egy Logtalk beépített módszer).
• Added könyvtár objektumot, & quot; & quot ;, meta_compiler, hogy lehet használni, mint egy horog tárgy bővíteni hívások meta-predikátumok meghatározott könyvtárban & quot; meta & quot; annak érdekében, hogy elkerüljék a meta-hívás általános költségek. A fenti esetekben, ahol a meta-állítmány hívást nem lehet optimalizálni az alapértelmezett felbontásban az & quot; meta & quot; objektum alkalmazunk. Történő vezérlés olyan konstrukciók, meta-érvek nem (még) nem támogatja. Folyamatban lévő munka.
• Added protokoll, & quot; loggingp & quot ;, és a kategória tárgy megvalósítások, & quot; fakitermelés & quot; és a & quot; & quot ;, logger nyilvánításáról és meghatározó alapvető funkciókat naplózás a fájlokat a könyvtárba.
• Added protokoll, & quot; intervalp & quot ;, és egy tárgy, & quot; intervallum & quot ;, nyilvánításáról és meghatározó alapvető időbeli intervallum kapcsolatok a könyvtár (alapja a James F. Allen Interval Algebra munka).
• Added kategóriát végrehajtási nevű integer számlálók, & quot; számlálók & quot ;, a könyvtárba.
• Added predikátumok proper_prefix / 2 és proper_suffix / 2 a könyvtári szervezetek & quot; listp & quot ;, & quot; listában & quot ;, és & quot; difflist & quot;.
• Added állítmány átültetés / 2 a könyvtár & quot; pár & quot;.
• Added két ál-példa tesztelési célokra, & quot; lambdas_compiled & quot; és a & quot; metapredicates_compiled & quot ;, hogy kihasználják az új könyvtár objektum
• & quot; meta_compiler & quot;.
• A frissített & quot; expanzió & quot; például azért, hogy bemutassa, hogyan kell meghatározni, és összekapcsolják horog tárgyak.
• Added support for a SyntaxHighlighter csomag (version 3.0.83 vagy újabb) Alex Gorbacsov a Logtalk forráskód.
• Added hiányzó szintaxis a máshol / 0 feltételes fordítási direktívát a GNU Source-highlight highlighter támogatja.
• Added egy megjegyzés a Logtalk szövegszerkesztési támogatás áll rendelkezésre a szabad MacOS X Kod szövegszerkesztő.
• Added szintaxis támogatja az új ignore / 1 beépített módszer az összes támogatott szövegszerkesztők és szintaxis kiemelőket.

Mi az új verzió 2.42.1:

• A támogatás a Logtalk fordító kimutatására és jelentési hiányzó dinamikus / 1 és discontiguous / 1 állítmány irányelvek.
• Egy új szösz zászló, & quot; & quot ;, missing_directives alapértelmezett érték & quot; & quot ;, figyelmeztetés minden konfigurációs fájlok. Ez a zászló lehetővé teszi a nyomtatást a fordító figyelmeztetések hiányzó dinamikus / 1, discontiguous / 1 és többfájlos / 1 állítmány irányelvek.
• A támogatás az új meta-állítmány sablon mód mutatók: (/) a predikátum mutató [/] listáját állítmány mutatók, és a [0] egy listát a célokat.
• Javított hiba a Logtalk fordító ellenőrzésekor meta-állítmány kikötés fej hiba, ha a & quot; :: & quot; meta-érv mód jelzés még mindig úgy értelmezik, mint & quot; 0 & quot;.
• Javított hiba a kezelése bezárások (meta-hívások), amelyek felhasználhatók a hívásokat irányítani konstrukciók vagy beépített predikátumok ami azt eredményezheti, amelyben egyes meta-érveket rossz kontextusban. Hála Ulrich Neumerkel a szemléltető példa a SWI-Prolog levelezőlistára.
• A frissített Logtalk fordító elkerülése érdekében nyomtatás figyelmeztetések hiányzó hivatkozásokat a & quot; bővülő & quot; és a & quot; megfigyelési & quot; beépített protokollok összeállításakor modulok tárgyak.
• változtatásai visszaállítva verzió 2.39.2, amely lehetővé tette a pszeudo-objektum & quot; user & quot; gyakorlatilag tartalmazza a meghatározása minden Prolog beépített predikátumok. Ez oda vezethet, hogy függően eltérő eredményeket a back-end Prolog fordítóprogram, különösen akkor, ha hív meta-predikátumok keretében & quot; user & quot;.
• Javított hiba a SWI-Prolog & quot; swihooks.lgt & quot; fájlt, amelynek eredményeként egy hamis hibaüzenet meg egy érvénytelen Logtalk zászló konzultáció során a Prolog fájlt, ha van egy Logtalk forrás fájlt ugyanazzal a névvel ugyanabban a könyvtárban.
• Added hiányzó támogatást szabadalmaztatott beépített meta-predikátumok a B-Prolog, SICStus Prolog, SWI-Prolog, xsb és YAP konfigurációs fájlok.
• A frissített SICStus Prolog, SWI-Prolog és YAP konfigurációs fájlok annak érdekében, hogy felülbírálja a meta-állítmány sablonokat az konzultálnak / 1 és load_files / 2 beépített predikátumok.
• Hozzáadva végrehajtása map_reduce / 5 meta-állítmány a könyvtár & quot; meta & quot;.
• Hozzáadva végrehajtása command_line_arguments / 1 predikátumot a & quot; cc & quot; példa.
• A frissített & quot; lambdas & quot; és a & quot; metapredicates & quot; példák bemutatják, hogyan kell kiszámítani a Fibonacci számok segítségével a fold bal meta-állítmány. Frissült a & quot; metapredicates & quot; Például egy alkalmazási példát a map_reduce / 5 meta-állítmány.
• A frissített & quot; problog & quot; Például, hozzátéve előzetes támogatja az új jegyzetekkel diszjunkcióban szintaxis.
• Added & quot; mágikus & quot; elemet a Logtalk MIME-típusú fájlok a freedesktop.org megosztott mime-info tárol.

Mi az új verzió 2.42.0:

• hozzáadva egy megvalósítása tartós tárgy zászlók.
• Egy új pár beépített predikátumok, conforms_to_protocol / 2-3 végrehajtási tranzitív lezárása a protokoll végrehajtása vonatkozásában.
• Added kísérleti irányelv jegyzet / 1, támogatására Logtalk integráció más nyelvek, mint a ProbLog és CHR.
















példák.