Logtalk

Szoftver screenshot:
Logtalk
Szoftver adatai:
Változat: 2.44.1
Feltöltés dátuma: 14 Apr 15
Fejlesztő: Paulo Moura
Engedély: Ingyenes
Népszerűség: 1

Rating: nan/5 (Total Votes: 0)

Logtalk egy nyílt forráskódú objektum-orientált kiterjesztése a Prolog programozási nyelv. Integráló logikai programozás az objektum-orientált és eseményvezérelt programozás, ez kompatibilis a legtöbb Prolog fordító.
Logtalk egyaránt támogatja prototípusok és osztályok. Emellett támogatja a komponens alapú programozás kategória alapú összetételét.

Tulajdonságok :

  • Separation közötti interfész és végrehajtása:
  • Predicate irányelvek (nyilatkozatok) lehet benne található protokollok (interfészek), amely végre semmilyen tárgyat.

  • parametrikus tárgyak:
  • Object nevű lehetnek összetett szavak, melyek szabad változók, amelyek felhasználhatók a parametrize tárgy predikátumok.

  • támogatása mind az osztály-alapú és a prototípus-alapú rendszerek:
  • Lehet, hogy ugyanebben az alkalmazás, osztály-alapú hierarchiák (a példányosítás és a specializáció kapcsolatok) és a prototípus-alapú hierarchiák (kiterjesztéssel kapcsolatok).

  • A támogatás több objektum hierarchiák:
  • Nem kell, hogy korlátozzák egyetlen hosszú hierarchia gyökerezik Néhány generikus objektum.

  • Egyéni, védett, és az állami örökösödési:
  • Logtalk támogatja saját, védett, és az állami örökséget hasonló módon C. Sőt, az a jogalany vonatkozásában lehet minősíteni egy hatálya kulcsszó.

  • Egyéni, védett, és az állami tárgy predikátumok:
  • Állítsa be a körét a tárgy predikátumok illik a protokoll tervezése és hagyja, hogy a runtime rendszer érvényesíteni a döntéseket.

  • A statikus és dinamikus objektumokat:
  • objektumok lehetnek statikus vagy dinamikus. Statikus objektumok meghatározott forrás fájlokat amelyek összeállítását és betöltve ugyanúgy, mint Prolog fájlokat. Dinamikus tárgy lehet meghatározni forrás fájlokat, vagy létre futásidőben.

  • A statikus és dinamikus objektum predikátumok:
  • Minden statikus tárgy tartalmazhat statikus és dinamikus predikátumok.

  • A pre-processzor így is szabványos Prolog szintaxis:
  • Logtalk szabványos Prolog szintaxist azzal a kiegészítéssel, néhány szolgáltató és irányelveket sima tanulási görbe.

  • eseményvezérelt programozás:
  • Predikátumok implicite hívják, amikor egy kémkedett esemény bekövetkezik, amely lehetővé teszi programozási megoldásokat, amelyek minimalizálják a tárgy csatlakozó. Emellett események támogatást nyújt a viselkedési reflexió.

  • Komponens alapú programozás:
  • Predikátumok lehet zárt belsejében kategória, amely gyakorlatilag által behozott minden olyan tárgy, anélkül, hogy párhuzamos kódot, és függetlenül attól, objektum hierarchiák. Így tárgyakat lehet meghatározni: a kompozíció kategóriák, amelyek serkentőleg hatnak finomszemcsés egységek kódot az újrafelhasználás.

  • Multi-örökség támogatása:
  • Logtalk támogatja a multi-örökséget egyaránt protokoll és végrehajtása. Egy objektum megvalósítása, és számos protokollok és kiterjeszteni, specializálódtak, vagy példányosítani több objektumot. Multi-örökséget konfliktusokat megoldani, implicit módon a Logtalk keresési algoritmusok, vagy kifejezetten segítségével állítmány irányelvek.

  • Jó teljesítmény:
  • Logtalk lefordításakor ugyanazt a technikát, amit használ a levelet hatékony Prolog kódot. Ezen kívül, a módszer kereséseket cache-e a Logtalk futásidejű motor, jelentősen növelve a teljesítményt. Benchmark eredmények néhány Prolog fordítóprogramok itt érhetők el.

  • szoros integráció az ISO Prolog szabvány:
  • Logtalk tervezték tökéletes illeszkedést minden Prolog fordító, amely megfelel vagy szorosan követi az ISO Prolog szabvány.

  • Kompatibilis a legtöbb Prolog összeállítói:
  • Logtalk interfészek egy speciális Prolog fordító segítségével minimális konfigurációs fájl így kompatibilis szinte minden modern fordító.

  • automatikus létrehozása XML dokumentációs fájlok:
  • Logtalk automatikusan létrehoz egy dokumentációt XML formátumban minden összeállított tárgy, protokoll, illetve a kategóriában. A rendszer tartalmazza az összes szükséges XSL (T) állományok és szkriptek átalakítani dokumentálása fájlokat (X) HTML és PDF.
  • Logtalk fut szinte minden számítógép egy Prolog fordító (a fő fejlesztési környezet egy Apple PowerBook G4, az MacOS X). A felület között Logtalk és adott Prolog fordító úton végezzük el a konfigurációs fájl.
  • Ez a fájl tartalmaz néhány Logtalk konkrét predikátumok és megvalósítások ISO Prolog szabvány predikátumok nem áll rendelkezésre a Prolog fordító.

  • Írásban Logtalk megpróbáltam követni a Prolog ISO szabvány amikor csak lehetséges. Szükséges képességek által Logtalk, hogy nincsenek meghatározva a I. része az ISO szabvány:

  • hozzáférést állítmány tulajdonságok (dinamikus, statikus, built_in):
  • Feltéve, hogy a kedvenc Prolog rendelkezik ezekkel a képességekkel már említettük, hogy a konfigurációs fájl nagyon egyszerű. A Logtalk csomag már tartalmazza a konfigurációs fájlokat a legáltalánosabb Prolog fordító. Az optimális teljesítmény Logtalk megköveteli, hogy a Prolog fordító támogatja első érv indexelés mind a statikus és dinamikus kódot.

  • Logtalk fejlesztés és tesztelés jelenleg végzik az alábbi Prolog összeállítói (ábécé sorrendben):
  • GNU Prolog 1.2.18
  • SWI Prolog 5.4.7
  • YAP 4.5.7
  • Mert az, hogy talán ezek a legjobb választás futó Logtalk (feltéve, hogy Ön szabadon használhatja az egyik ilyen fordító).

  • Ezen kívül Logtalk fut kevés vagy semmilyen módosításra az alábbi Prolog összeállítói (ábécé sorrendben):
  • ALS Prolog 3.1
  • Amzi! Prolog 6,22 ~ 7.x
  • BinProlog 8.x ~ 10.x
  • B-Prolog 4.0, 5.0, 6.x
  • CIAO Prolog 1.10p5
  • Eclipse 5.5 ~ 5.8
  • IF / Prolog 5.x
  • JIProlog 3.0.1-2
  • K-Prolog 5.1.2a
  • LPA MacProlog32 1,25
  • LPA WinProlog32 4.0x
  • MasterProlog 4.1
  • Megnyitás Prolog 1.1b10
  • PrologII 4,5
  • QU-Prolog 6.7
  • Quintus Prolog 3.3 ~ 3.5
  • SICStus Prolog 3.8 ~ 3.12.x
  • XSB 2.6 ~ 2.7

Mi az új ebben a kiadásban:

  • Modified az üzenetet küldő mechanizmus hívja a & quot; előtti & quot; eseménykezelőkkel elvégzése előtt módszer keresése. Ez a változás nem lehet hatással a meglévő kódot, de lehetővé teszi néhány érdekes alkalmazásokat (pl sikertelen helyett kivételt dob, ha az üzenetet nem érthető).
  • Több következetes kezelése fordító zászlók között beállítási jelzőértékeit összeállításakor / fájl betöltése és amikor a set_logtalk_flag / 2 beépített állítmány: mindkét esetben, amelyben a & quot; smart_compilation & quot; zászló kikapcsolja a & quot; tiszta & quot; zászló, és meghatározzák a & quot; tiszta & quot; zászló kikapcsolja a & quot; smart_compilation & quot; zászló. Is, amelyben a & quot; hibakeresés & quot; zászló kialszik mind a & quot; smart_compilation & quot; és a & quot; tiszta & quot; zászlók.
  • Engedélyezi a soft-vágott vezérlő szerkezet, (* - & gt;) / 2, ha natívan támogatja a back-end Prolog fordító, hogy lehet használni a szervezetben a nyelvtani szabályokat (miután egy megjegyzést Daniel Diaz, miközben beszélünk GNU Prolog támogatja a soft-cut vezérlő szerkezet).
  • Javított Logtalk fordító hibát, amikor a & quot; source_data & quot; zászló a back-end Prolog fordító, ahol nem lehet letölteni a helyzetét olvasható távon.
  • Javított bug összeállításában a meta_non_terminal / 1 irányelv, ahol csak az első meta-érv lenne helyes feldolgozása.
  • Frissítések az Eclipse config fájlt felismerni, ha fut a Windows 64 bites rendszerek és a mellőzés, az állítmány és a non-üzemeltető export, amikor előkezelést lib / 1 irányelvek.
  • Frissítve egység vizsgálati keret nyomtatni informatívabb üzeneteket nem unit tesztek.
  • Added állítmány Split / 4 (felosztása a listát listákat tartalmazó, adott hosszúságú), hogy a & quot; listp & quot ;, & quot; & quot ;, és & quot; difflist & quot; könyvtár szervezetek.
  • Frissült a & quot; cc & quot; Például egy meghatározást a shell / 2 állítmány a CxProlog.
  • Megváltozott a nevét a tárgyakat a & quot; km & quot; Például, hogy elkerüljék 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 bites változatban. Hála Stepan Ipatov hibajelentést.
  • Javított hiba a Windows telepítő, amely megakadályozta, hogy a felhasználók testre a telepítési könyvtár. Hála Daniel Moniz hibajelentést és Gavin Lambert diagnosztizálására a hiba.
  • Frissítve a Windows telepítő script-felismerő rendszerének XSB és az alapértelmezett, hogy csak a per-user fájlokat, ha fut egy nem rendszergazda felhasználók számára egy olyan számítógépre Logtalk már telepítve van.
  • Added alapvető támogatást a LaTeX & quot; albérletek & quot; csomagban. Jegyzetkezelő a & quot; vert & quot; és a & quot; texmates & quot; LaTeX csomagokat.
  • Jegyzetkezelő a Textastic iPad szövegszerkesztőt.
  • Added alapvető szintaxis és a kód összecsukható támogatása a UltraEdit szövegszerkesztővel.
  • Frissült a TextMate csomagban letiltani az automatikus francia korrekciók be a fejlesztői változata TextMate 2.0.

Mi az új verzióban 2.44.0:

  • Megváltozott a szemantika kiegészítve kategóriák, hogy a folt mindkét állítmány nyilatkozatok és állítmány meghatározások egészíti tárgyakat. Ez úgy történik, biztosítva, hogy az állítmány nyilatkozatot és meghatározása kereséseket kezdődik a kiegészítése kategóriák előtt keresi a egészíti tárgy maga, vagy a vele kapcsolatban álló szervezetek.
  • Frissült a Logtalk fordító annak érdekében, hogy egy figyelmeztetést összeállításakor a kiegészítése kategóriában egy egészítik tárgyat, amit támogatásával fordított kiegészítve kategória ki van kapcsolva.
  • Javított hiba a feldolgozó meta-felhívások meta-predikátumok, ahol a hívó összefüggésben állna, hogy a & quot; ez a & quot; ahelyett, & quot; feladó & quot; ha egy meta-érv volt az egyik :: / 2, {} / 1,

Mi az új verzióban 2.43.3:

  • Megváltozott a fordító, hogy vegye figyelembe a felhasználási / 2 irányelv összeállításakor hívásokat a gondolkodási metódusa. Ez a változás kiterjed a szemantika a felhasználási / 2 irányelv és megkönnyíti a migráció a sima Prolog alkalmazások Logtalk.
  • Frissítve végrehajtásának predicate_property / 2 beépített módszerét, hozzátéve hatálya / 1 ingatlant.
  • Frissült a Logtalk fordító adnak információkat a forrás fájl nevét, forrás fájl könyvtár, és a forrás fájl fordítási beállításokat, hogy a generált Prolog fájlokat. A korábbi verziókban ez az információ csak névre betöltésekor a forrás fájlt. A változások egyszerűsítik építőipari alkalmazásokra, ahol Logtalk könyvtárak előre lefordított és az előre telepített.
  • Frissült a Logtalk fordító nyomtatni a neve a horog objektum, összeállításában forrás fájlokat, amikor a & quot; hook & quot; compiler zászló van definiálva.
  • Frissítve beépített debugger annak érdekében, hogy elkerüljék a felesleges választás pont által létrehozott back-end Prolog fordító, akinek visszahúzódik / 1 végrehajtása nem veszi igénybe logikai frissítést szemantika, hogy a hívások determinisztikus.
  • Javított hiba a Logtalk fordító runtime handler, ahol nem sikerült visszafordítani a belső egység azonosítók dobás közben entitás létezését kivételek.
  • Frissült a Lean Prolog config file-t index / 1 irányelveket néhány dinamikus predikátumok által használt belső Logtalk runtime táblákat.
  • Frissítések az SWI-Prolog integráció fájlokat, hogy teszteljék 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 részsorozatot / 4 (generáló alszekvenciái a listában egy adott hosszúságú), helyettesítse / 4 (cseréjéhez lista elemeit), és hamming_distance / 3 a könyvtár & quot; listp & quot; és a & quot; & quot; szervezetekkel.
  • Added euclidean_norm / 2, chebyshev_norm / 2, manhattan_norm / 2, euclidean_distance / 3, chebyshev_distance / 3, manhattan_distance / 3, és scalar_product / 3 predikátumok, hogy a könyvtár & quot; numberlistp & quot; és a & quot; numberlist & quot; szervezetekkel.
  • Korrigált 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ítve könyvtár & quot; all_loader.lgt & quot; loader fájlt töltse be az & quot; meta_compiler_loader.lgt & quot; loader fájlt.

Mi az új verzióban 2.43.1:

  • Megváltozott a fordító, hogy vegye figyelembe a felhasználási / 2 irányelv összeállításakor hívások az adatbázishoz metódusa. Ez a változás kiterjed a szemantika a felhasználási / 2 irányelv és megkönnyíti a migráció a sima Prolog alkalmazások Logtalk.
  • Added kísérleti támogatást egy állítmány sablont érv a coinductive / 1 irányelv. Ez a sablon lehetővé teszi, melynek sajátossága, érvek értelme coinductive sikert. 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ása CxProlog. A jelenlegi változata a fordító hiányzik a soft-cut beépített predikátum vagy ellenőrzés konstrukció, amely most szükség a kísérleti coinduction végrehajtását.
  • felemelt egy régóta fennálló korlátozást, amely megakadályozta a felhasználót meghatározása wrapper predikátumaként a bagof / 3 és setof / 3 metódusa, ha a cél az érv is használja a ^ / 2 egzisztenciális kvantor.
  • A támogatás a & quot; ^ & quot; meta-állítmány meta-érv módban tervező által javasolt Jan Wielemaker és megtalálható SWI-Prolog 5.11.25. Ez a mód specifikátor akkor hasznos, ha meghatározó csomagolást a bagof / 3 és setof / 3 metódusa, amikor a cél az érv is használja 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 elhaladó lehetőségeket a back-end Prolog fordító beépített predikátumok, hogy összeállítja a lemezre, és betölteni a (lefordított) Prolog zászlót. Az alapértelmezett érték mind a zászlókat az üres lista.
  • helyesbítette a hibát, amikor összeállítása hívások Prolog saját beépített meta predikátumok, ahol a Logtalk compiler is megpróbálja feldolgozni a nem meta érveket célokat. Ez a hiba csak nyilvánult meg néhány back-end Prolog fordítóprogramok, mint a napfogyatkozás.
  • Javított hiba a feldolgozás feltételes fordítási direktívák.
  • Javított hiba, ami megakadályozta elhaladó alias / 3 irányelvek hívásokat a create_object / 4, create_category / 4, és create_protocol / 3 beépített predikátumok.
  • ki kell húzni a beépített objektum & quot; logtalk & quot; A decompile_predicate_head / 4 és decompile_predicate_indicator / 4 elavult módszereket.
  • Az eltávolított támogatja a hosszú elavult Logtalk metapredicate / 1 irányelv.
  • Javított teljesítmény hibát, amikor caching hívások kategóriában predikátumok, ahol a tárolt bejegyzéseket lehet pontosabb, mint szükséges, ha dolgozik, parametrikus kategória.
  • Továbbfejlesztett caching a & quot; super & quot; kéri belül prototípusok. Korábban, az eltárolt bejegyzések lenne szakosodott értékével & quot; saját & quot; annak érdekében, hogy megfelelően kezelni a speciális esetek, amikor egy tárgy mind példányosít és specializálódott egyéb tárgyak.
  • Frissült a Logtalk fordító aktiválásához bármely olyan gazdasági szereplő nyilatkozatok található á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 esetén back-end Prolog fordítóprogramok, mint SICStus Prolog, hogy nem biztosítják a soft-cut vezérlő szerkezet, de biztosítja a soft-cut beépített meta-állítmány (ha / 3).
  • Javított hiba, ha a hamis jelentés összeállítása / loading figyelmeztetések lehet nyomtatni, ha a forrás fájl összeállított / betöltve a fordító zászlót & quot; jelentés & quot; ki van kapcsolva.
  • Hozzáadás a & quot; streamvars & quot; könyvtárobjektumból, nyert a meglévő & quot; assignvars & quot; könyvtár létesítmény, mely támogatja a hozzá és visszakeresésére szempontjából (amely lehet változó) egy & quot; folyam & quot; változó.
  • Frissült a & quot; coinduction & quot; Például, kihasználva a fokozott coinductive / 1 irányelv és szélesítése számú egyéni példa, hogy lehet futtatni SICStus Prolog. Hozzáadott modell ellenőrzése például a coinduction, coroutining, és korlátok, hozzájárult Neda Saeedloei.
  • Frissült a & 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 metódusa, amikor a meta-érv tartalmazhat egzisztenciálisan képzett változók.
  • Frissült a & quot; cc & quot; Például, javítása állítmány meghatározások több back-end Prolog fordítót, és a hozzá néhány alapvető egység vizsgálatok.
  • Frissült a & quot; kódolásokra & quot; Például korlátozott támogatást Lean Prolog.
  • Added hiányzó bejegyzéseket meta_non_terminal / 1 irányelv és a hívás // N nem terminál a & quot; segíteni & quot; Például.
  • Hozzáadás 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ódot összecsukható támogatása feltételes fordítási blokkok a Kate, Vim, és TextMate szövegszerkesztők.
  • Frissítve integrációjának scriptek segítségével, hogy töltse be a könyvtár utak fájl betöltése előtt Logtalk compiler / runtime. Ez a változtatás célja, hogy egyszerűsítse betöltése könyvtár és például fájlokat a beállításokat tartalmazó fájlokat. Ezen kívül is keressük a Logtalk telepítési könyvtár a $ HOME / share amikor a LOGTALKHOME környezeti változó nincs definiálva. Hála vator Santos Costa a javaslatot.
  • Frissítve a Windows telepítő támogatása érdekében Lean Prolog és észlelni YAP 64 bites változatban.

Mi az új verzióban 2.43.0:

  • Added kísérleti támogatása Lean Prolog.
  • Megváltozott hibajelentés a Logtalk fordító és futásidejű. Minden kivétel, hiszen mostantól használni, amikor csak lehetséges, a hiba (Error, logtalk (Goal, Entity))
  • formátumban. Megváltozott a belső hibaellenőrzési használni, ha lehetséges, az új "$ lgt_must_be" / 2-3 belső predikátumok.
  • Bekerült egy & quot; optimalizálja & quot; zászló, akinek alapértelmezett érték & quot; A & quot ;. Ez a zászló lehetővé teszi a felhasználó számára, hogy kapcsolja ki a meglévő optimalizációknak pl hibakeresés feladatok (a
  • a közelmúltban végrehajtott optimalizálás közé eltávolítása felesleges hívások true / 0 testéből összeállított állítmány záradékok és az eltávolítása
  • redundáns hívások (=) / 2 testéből záradékok felhabosodásakor a nyelvtani szabályok).
  • Hozzáadás a & quot; source_data & quot; zászló, akinek alapértelmezett érték & quot; A & quot ;. Ezzel a flag be a & quot; A & quot ;, Logtalk fogja a közölt információ felhasználásával mód / 2,
  • info / 1-2, használja / 2, és use_module / 2 irányelvek plusz forrás helye adatok (beleértve a forrás fájl nevét és sorszámok), hasznos mind a hibakeresés
  • és az együttműködést a fejlesztési eszközök. Ez a zászló ki lehet kapcsolni, hogy létre tömörebb kódot. A parameter_names / 1 objektum és a
  • kategória tulajdon eltávolítjuk számbavétel elkerülése érdekében.
  • Megvalósult védett / 1 és magán / 1 tulajdonságait tárgyakat, protokollok és kategóriák. Együtt az állami / 1 ingatlan, ezeket a tulajdonságokat
  • lehetővé teszi a fenti predikátumok bejelentett szervezet elérhető legyen fényvisszaverő számítások. Megvalósított kijelenti / 2, meghatározza / 2, includes / 3,
  • és biztosítja / 3 tulajdonságok eléréséhez tulajdonságait predikátumok bejelentett és megadott egy egységen belüli. Nyilatkozat tulajdonságai közé line_count / 1, a sorszámot, az állítmány hatálya irányelvet. Definíció tulajdonságai közé line_count / 1, a vonal számát a vezetője az első
  • záradékot az állítmány, és number_of_clauses / 1, a több rendelkezéséből az állítmány. Is megvalósított kísérleti célokra / 3 és use_module / 3 tulajdonságait.
  • Added állítmány ingatlan, redefined_from / 1, így lekérdezése a tárgyról vagy kategóriát állítmány meghatározása, hogy az újra.
  • Hozzáadás a loaded_file / 3 állítmány a & quot; logtalk & quot; beépített objektum, amely kiegészíti a meglévő loaded_file / 2 állítmány és hozzáférést biztosít a
  • explicit lehetőségek használható, ha a fájl fordítása és betöltése.
  • Megvalósult fordító támogatja a meta_non_terminal / 1 irányelv és a hívás // N beépített nem terminál.
  • Egyszerűsített összeállítása nyelvtani szabályok eltávolításával támogatásával foglalkozó non-terminál körét és a létezés hibákat a nyelvtani szabályt
  • szintje helyett az állítmány szinten. Bár ez a funkció hasznos lehet, amikor hibakeresés nyelvtani szabályok, ez bonyolult integrációját Logtalk a Prolog-natív fejlesztői eszközök.
  • Frissült a Logtalk fordító annak érdekében, hogy megmentse a szervezet záradékot helyszíneken, és ez az információ, hogy a back-end Prolog fordító.
  • Frissült a Logtalk fordító annak érdekében, hogy ne keletkezzenek felesleges belső catchall záradékok az állítmány nyilatkozatot és meghatározása táblázatok dinamikus szervezetek.
  • Frissült a Logtalk fordító annak érdekében, hogy kizárják a többfájlos predikátumaként törés objektum beágyazás. Az elsődleges nyilatkozatot
  • egységnek kell léteznie, amely mind a körét és a többfájlos irányelv az állítmány. Emellett meghatározó záradékot a többfájlos
  • Entity :: funktorhoz / argumentumainak száma, anélkül, hogy többfájlos / 1 irányelv most eredményez fordítási hiba, hanem egyszerűen egy figyelmeztetés.
  • Eltávolították az Logtalk fordító korlátozás, hogy kénytelen discontiguous / 1 és dinamikus / 1 irányelvek előzi hívásokat a bejelentett predikátumok.
  • Javított az Logtalk fordító jelentés helytelenül írt hívások nem terminálok nyelvtani szabályokat.
  • használatának engedélyezése a: / 1-szabályozás építeni a testület a nyelvtani szabályokat.
  • Ha hibakereső üzeneteit meghatározott célokra / 2 irányelveket, az üzenet már kinyomtatott implicit minősül a forráskód írt a felhasználó.
  • Megváltozott a belső predikátumok használt végrehajtása a beépített multi-threading predikátumok megkönnyítése érdekében az integrációt
  • magas szintű hibakereső eszközök, amelyek megkövetelik dekompilálása a generált Prolog kódot.
  • Javított bug bevezetett Logtalk 2.42.4 összeállításáról szóló gazdálkodó predikátumok, hogy hívja szinkronizált predikátumok. Ez a hiba eredményezte hívások
  • készülnek helyett a nem szinkronizált formái a predikátumok, ami megnyilvánulhat véletlen hibák menet céljait.
  • Korrigált régóta hiba, ha a runtime-összeállított meta-hívást egy kategóriába kell összeállítani, mint egy hívást egy állítmány tárgy
  • importáló kategóriában helyett egy hívást, hogy a helyi kategóriába állítmány.
  • Korrigált régóta hiba, ha entitás flag-értékek alapján a helyszínen az set_logtalk_flag / 2 irányelv nem tudná menteni a szervezet
  • lefordított kód.
  • Korrigált régóta hibát, amikor eltörlik a dinamikus állítmány egy non-prototípus objektum, ahol a eltörli / 1 módszer sikeres anélkül
  • az állítmány, hogy valóban törölni.
  • Javított hiba beállítja a helyes végrehajtás keretében, amikor hívják a meta-érv, amely előírja a futásidejű válogatás keretében
  • & quot; feladó & quot;.
  • Javított bug összeállításában az explicit képzett hívásokat a modul meta-predikátumok, ahol a modult képesítést lenne dobva a
  • összeállított hívást. Ne feledje, hogy ezek a hívások fogja használni Logtalk meta-állítmány szemantikai (azaz a meta-érvek fogják hívni az összefüggésben
  • hívó), hanem a szokásos Prolog modul meta-állítmány szemantika.
  • Korrigált egy hibát, coinduction halom nem került használatba, amikor a

Mi az új verzióban 2.42.4:

  • Ez a verzió fordító, futtatókörnyezet, és multi- threading teljesítmény optimalizálás, javítja fordító hibaüzenetek a szinkronizált / 1 és dinamikus / 1 irányelvek már támogatja a megőrzése üzemeltető körű információ- és kimenetre ezt az információt az automatikusan generált XML fájlok dokumentálása, hozzáteszi, az új közüzemi predikátumok a logtalk tárgy, javítja több programozási példák, tartalmaz egy áthidaló megoldást egy SWI-Prolog eltávolító bug a Windows, és a funkciók a hordozhatóság frissítéseket Qu-Prolog, SICStus Prolog, SWI-Prolog, XSB, és Yap.

Mi az új verzióban 2.42.3:

  • Ez a verzió már támogatja a hívó dinamikus predikátumok a összefüggésben & quot; ez a & quot; a kategóriákon belül már támogatja a előre összeállított záradékot fejek, magában foglalja a hibajavítás és a beépített debugger, magában foglalja a jobb könyvtárak és példák már támogatja a indexicals amikor a SICStus Prolog CLP (FD) könyvtár, hozzáteszi kísérleti példája segítségével tulajdonított változókat tárgyak és kategóriák között, és a hordozhatóság frissítéseket Eclipse, GNU Prolog, SICStus Prolog, és SWI-Prolog.

Mi az új verzióban 2.42.2:

  • Ez a verzió javítja összeállítása hívások modul predikátumok , javítja ellenőrzése meta-érveket meta-állítmány hívásokat, javítja támogatása lambda kifejezéseket tartalmaz optimalizáló fordító irányuló hívások esetén a könyvtár meta-predikátumok, hozzáteszi, az új könyvtárak az események naplózását, munka időbeli intervallumban kapcsolatok, és segítségével egész pultok, javítja meglévő példák és könyvtárak már támogatja a JavaScript segítségével alapú SyntaxHighlighter csomagot, és a funkciók a hordozhatóság frissítéseket GNU Prolog, Qu-Prolog, SICStus Prolog, SWI-Prolog, és XSB.

Mi az új verzióban 2.42.1:

  • Ez a verzió már támogatja az új meta-állítmány módban mutatók, így a készülékeket több Prolog saját beépített meta-predikátumok.
  • Támogatás adtunk kimutatását és bejelentését hiányzó dinamikus / 1 és discontiguous / 1 irányelvek.
  • Egy új lint zászlót hozzá.
  • két meta-állítmány összeállítása hibákat kijavították.
  • Néhány példa frissítve.
  • A hordozhatóság frissítések történtek B-Prolog, SICStus Prolog, SWI-Prolog, XSB, és Yap.

Más szoftver fejlesztő Paulo Moura

Logtalk
Logtalk

11 Mar 16

Hozzászólások a Logtalk

Hozzászólás nem található
Megjegyzés hozzáadása
Kapcsolja be a képeket!