Logtalk

Logtalk je objektově orientovaný rozšíření open source do programovacího jazyka Prolog. Integrace logické programování s objektově orientovaný a událostmi řízeného programování, je kompatibilní s většinou Prolog kompilátory.
Logtalk podporuje jak prototypy a třídy. Kromě toho podporuje komponent založených na programování pomocí kategorii kompozice na bázi

Vlastnosti :.

• Oddělení mezi rozhraním a realizace:
• Predikátové směrnice (prohlášení) může být obsažena v protokolu (rozhraní), které mohou být realizovány pomocí libovolného objektu.


• Parametrické objekty:

Jména
• objekt může být složené výrazy, které obsahují volné proměnné, které mohou být použity nastavit parametry objektů predikáty.


• Podpora pro oba systémy založenými na třídě a založeného na prototypu:
• Můžete mít, ve stejné aplikaci, třída na bázi hierarchie (s instancí a specializace vztahů) a prototypů na základě hierarchie (s rozšířením vztahů).


• Podpora pro více objektů hierarchie:
• Není třeba být omezena do jednoho dlouhého hierarchii kořeny v nějakém generického objektu.


• Private, chráněná, a veřejnost dědictví:
• Logtalk podporuje private, protected a veřejné dědictví v podobným způsobem C. Navíc, každý subjekt vztah může být kvalifikováno pomocí klíčového slova rozsah.


• private, protected a veřejné objekt predikáty:
• stanovit rozsah vašeho objektu predikáty, aby odpovídaly vašim protokolu design a nechat runtime systém prosazovat volby.


• Statické a dynamické objekty:
• Objekty mohou být buď statické nebo dynamické. Statické objekty jsou definovány ve zdrojové soubory, které se sestavují a vložených v stejným způsobem jako Prolog soubory. Dynamický objekt lze buď definována v zdrojové soubory vytvořené za běhu.


• Statická a dynamická objektů predikáty:
• Každá statický objekt může obsahovat statické i dynamické predikáty.


• pre-procesor, takže můžeme použít standardní syntaxi Prolog:
• Logtalk používá standardní syntaxi Prolog s přídavkem několika operátorů a pokyny pro hladké učení.


• Event-driven programování:
• predikáty mohou být implicitně volána, když dojde k tajně pozorované události, což umožňuje programování řešení, která minimalizují objektu spojky. Kromě toho, události poskytují podporu pro reflexi chování.


• Component-based programování:
• Výroky mohou být zapouzdřeny uvnitř kategorie, které mohou být prakticky dováženého libovolný objekt, bez opakování kódu a to bez ohledu na objektu hierarchií. Tak, objekty mohou být definovány pomocí složení kategorií, které působí jako jemnozrnné jednotky kód opětovného použití.


• Podpora Multi-dědictví:
• Logtalk podporuje multi-dědičnost jak protokolu a implementace. Objekt může provádět několik protokolů a rozšíření, se specializují, nebo instance několik objektů. Multi-dědictví konflikty řeší implicitně pomocí Logtalk vyhledávacích algoritmů, nebo explicitně pomocí přívlastková směrnic.


• Dobrý výkon:
• Logtalk kód je sestavena za použití stejné techniky, které používáte psát efektivní kód prologu. Kromě toho, metoda lookup jsou mezipaměti Logtalk runtime motoru, což výrazně zlepšuje výkon. Výsledky benchmarků pro některé Prolog kompilátory jsou k dispozici zde.


• Úzká integrace s ISO Prolog normy:
• Logtalk je určen pro bezproblémovou integraci s jakýmkoli Prolog kompilátoru, která odpovídá nebo těsně navazuje na ISO Prolog standard.


• kompatibilní s většinou Prolog kompilátory:
• Logtalk rozhraní s konkrétním Prolog kompilátorem přes minimální konfiguračního souboru takže je kompatibilní s téměř každé moderní překladač.


• Automatické generování XML souborů dokumentace:
• Logtalk automaticky vygeneruje soubor dokumentace ve formátu XML pro každý objekt, sestavený protokol, nebo kategorie. Systém obsahuje všechny potřebné XSL soubory a skripty (T) převést dokumentování soubory (X) HTML a PDF.
• Logtalk běží na téměř jakýkoliv počítač s Prolog kompilátorem (hlavní vývojové prostředí je Apple PowerBook G4 běží MacOS X). Rozhraní mezi Logtalk a konkrétní Prolog překladače se provádí pomocí konfiguračního souboru.
• Tento soubor obsahuje některé specifické predikáty Logtalk a implementace pro normy ISO Prolog predikáty není k dispozici v kompilátoru Prolog.


• Při psaní Logtalk jsem se snažil, aby v souladu se standardem ISO Prolog, kdykoli je to možné. Schopnosti potřebné by Logtalk, které nejsou definovány v části I normy ISO jsou:


• přístup k vypovídají vlastnosti (dynamická, statická, built_in):
• V případě, že váš oblíbený Prolog má tyto schopnosti výše uvedené, což konfigurační soubor je velmi snadné. Balíček Logtalk již obsahuje konfigurační soubory pro většinu běžných Prolog překladačů. Pro optimální výkon, Logtalk vyžaduje, aby kompilátor Prolog podporuje první argumentu indexování pro statické i dynamické kódu.


• Logtalk vývoj a testování je v současné době provádí pomocí následujících kompilátory Prolog (v abecedním pořadí):
• GNU Prolog 1.2.18
• SWI Prolog 5.4.7
• YAP 4.5.7
• Protože to, že se jedná pravděpodobně vaše nejlepší volba pro spuštění Logtalk (za předpokladu, že máte možnost použít jeden z těchto překladačů).


• Kromě toho, Logtalk běží s malými nebo žádnými úpravami s těmito kompilátory Prolog (v abecedním pořadí):
• 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
• Otevřít 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

Co je nového v této verzi:

• Upravené zasílání zpráv mechanismus volání & quot; před & quot; obslužné rutiny událostí před provedením metody vyhledávání. Tato změna by měla mít žádný dopad na existující kód, ale umožňuje některé zajímavé aplikace (např selhání namísto házení výjimku, pokud je zpráva nerozumí).
• Více konzistentní zacházení kompilátor mezi hodnoty nastavení vlajky při sestavování / načítání souboru a při použití set_logtalk_flag / 2 vestavěné predikát: v obou případech, nastavení & quot; smart_compilation & quot; vlajka na zhasne & quot; clean & quot; vlajka a nastavení & quot; clean & quot; vlajka na zhasne & quot; smart_compilation & quot; vlajky. Také nastavení & quot; ladění & quot; vlajka na zhasne jak & quot; smart_compilation & quot; a & quot; clean & quot; flags.
• Umožňuje ovládání konstrukt měkké-cut, (* - & gt;) / 2, pokud nativně podporován back-end Prolog kompilátor, které mají být použity v těle gramatických pravidel (po poznámce Daniel Diaz při diskusi GNU podpora Prolog pro řídící konstrukt soft-cut).
• Opraven Logtalk kompilátor chybu, když & quot; source_data & quot; vlajka je s back-end Prolog kompilátory, kde není možné získat pozici čtení výrazu.
• Opravena chyba při sestavování meta_non_terminal / 1, směrnice, pokud pouze první meta-argument by být správně zpracovány.
• Aktualizované konfigurační soubor Eclipse rozpoznat, kdy běží na Windows 64 bitů systémů a ignorovat non-přísudek a non-operátorů vývoz při předzpracování lib / 1 směrnice.
• Aktualizováno unit test rámec, aby se tiskly informativní zprávy neúspěšných unit testů.
• Přidáno predikát Split / 4 (pro rozdělení seznamu do sublists s danou délkou) a & quot; & quot ;, listp & quot; & quot ;, seznamu a & quot; difflist & quot; knihovny entity.
• Aktualizováno & quot; cc & quot; Příklad s definicí pro Shell / 2 predikátu pro CxProlog.
• Změnil názvy objektů v & quot; IM & quot; příklad, aby se zabránilo konfliktu názvů při spuštění příklad jednotkové testy.
• Opravena chyba v instalátoru Windows, která zabránila detekci YAP 64 bitů verze. Díky Stepan Ipatov pro zprávu o chybě.
• Opravena chyba v instalátoru Windows, která zabránila uživatelům přizpůsobení instalačního adresáře. Díky Daniel Moniz chybové hlášení a Gavin Lambert pro diagnostiku chybu.
• Aktualizace Windows instalační skript pro lepší detekci XSB a na výchozí instalaci pouze soubory pro jednotlivé uživatele při spuštění uživatelem bez admin na počítači, kde Logtalk je již nainstalován.
• Přidána základní podporu pro LaTeX & quot; výpisy & quot; balíček. Přidány poznámky na & quot; raženy & quot; a & quot; texmates & quot; LaTeX balíčky.
• Přidány poznámky na textovém editoru Textastic iPad.
• Přidáno základní syntaxe zbarvení a kód skládací podporu pro textový editor UltraEdit.
• Aktualizováno TextMate svazek zakázat automatické odsazení opravy zavedené ve vývojové verzi TextMate 2.0.

Co je nového ve verzi 2.44.0:

• změnila sémantika doplnění kategorií, která umožní záplatování oba přívlastková prohlášení a přívlastková definice doplněných objektů. Toho je dosaženo tím, že zajistí, aby predikát prohlášení a definice lookup začít na doplňující kategorií před pohledem do doplněnou samotného objektu, nebo do jeho spřízněnými osobami.
• Aktualizováno kompilátor Logtalk za účelem generování varování při sestavování doplňující kategorii pro doplněného objektu, který byl sestaven s podporou pro doplnění kategorií vypnutý.
• Opravena chyba při zpracování meta-výzev k meta-predikáty, kdy by volající kontext nastaven na & quot; to & quot; místo & quot; odesílatelem & quot; kdykoli meta-argument byl jedním z :: / 2, {} / 1,

Co je nového ve verzi 2.43.3:

• Změnil kompilátor vzít v úvahu použití / 2 směrnice při sestavování volání odraz vestavěné metody. Tato změna rozšiřuje sémantiku užití / směrnice o 2, a umožňuje snadnější přechod z hladkých aplikací Prolog k Logtalk.
• Aktualizace implementace predicate_property / 2 vestavěným-in metodě, přidáním rozsah / 1 nemovitostí.
• Aktualizované Logtalk kompilátor přidat informace o názvu zdrojového souboru, adresáře zdrojového souboru, a zdrojový soubor kompilátor možnosti vygenerované soubory Prolog. V předchozích verzích, tyto informace byly registrovány pouze při načítání zdrojový soubor. Změny zjednodušení žádostí o stavební povolení, kde Logtalk knihovny jsou pre-zkompilovaný a pre-naložený.
• Aktualizované Logtalk kompilátor vytisknout název háku objektu použitého při sestavování zdrojových souborů, kdy & quot; háček & quot; kompilátor příznak je definován.
• Aktualizováno vestavěný debugger, aby se předešlo zbytečným výběr body, vytvořené back-end Prolog kompilátory, jejichž zatáhnout / 1 provedení nedokáže využít logické aktualizace sémantiky pro volání deterministické.
• Opravena chyba v Logtalk kompilátor runtime psovoda, kde se nepodařilo dekompilovat identifikátorů vnitřní účetní jednotky při házení jednotka existenční výjimky.
• Aktualizováno Lean Prolog konfigurační soubor, dodává INDEX / 1 směrnice pro některé z dynamických predikáty používaných v interním Logtalk runtime tabulky.
• Aktualizováno integrační soubory SWI-Prolog k testování dostupnosti směrnice o index / 1, která se již nepoužívá nový experimentální podporu SWI-Prolog pro just-in-time multi-argument, indexování.
• Přidáno vypovídá subsekvenci / 4 (pro generování subsekvencí ze seznamu s danou délkou), nahraďte / 4 (pro nahrazení prvků v seznamu), a hamming_distance / 3 do knihovny & quot; listp & quot; a & quot; seznam & quot; entity.
• Přidáno euclidean_norm / 2, chebyshev_norm / 2, manhattan_norm / 2, euclidean_distance / 3, chebyshev_distance / 3, manhattan_distance / 3, a scalar_product / 3 predikáty do knihovny & quot; numberlistp & quot; a & quot; numberlist & quot; entity.
• opraveny některé hloupé chyby v definici & quot; charakteru & quot; Knihovna objektů vypovídá is_bin_digit / 1, is_octal_digit / 1, is_dec_digit / 1, a is_hex_digit / 1.
• Aktualizace knihovny & quot; all_loader.lgt & quot; loader soubor také načíst & quot; meta_compiler_loader.lgt & quot; loader souborů.

Co je nového ve verzi 2.43.1:

• Změnil kompilátor vzít v úvahu použití / Směrnice 2 při sestavování volání do databáze vestavěných metod. Tato změna rozšiřuje sémantiku užití / směrnice o 2, a umožňuje snadnější přechod z hladkých aplikací Prolog k Logtalk.
• Přidána experimentální podpora pro použití predikátu šablonu jako argumentu pro coinductive / 1 směrnice. Tato šablona umožňuje určit, které argumenty jsou smysluplné pro coinductive úspěch. Podobnou funkci nalézt na na Feliks Kluzniak je DRA meta-tlumočníka základě.
• Vylepšená podpora pro ladění coinductive predikáty při použití Logtalk vestavěný debugger.
• odebrána podpora coinduction pro CxProlog. Současná verze tohoto překladače chybí soft-cut vestavěný predikát nebo kontrolním konstrukt, který je nyní požaduje experimentální realizace coinduction.
• zvedla dlouhotrvající omezení, která brání definici uživatele obalu, predikáty pro bagof / 3 a SETOF / 3 vestavěné metody kdykoli může cíl argumentace používají ^ / 2 existenční kvantifikátor.
• Přidána podpora pro & quot; ^ & quot; meta-predikát meta-Argument režim projektant navrhl Jan Wielemaker a našel na SWI-Prolog 05.11.25. Tento režim specifikátor je užitečný při definování obálky pro bagof / 3 a SETOF / 3 vestavěných metod, kdykoli může cíl argumentace používají ^ / 2 existenční kvantifikátor.
• Added & quot; prolog_compiler & quot; a & quot; prolog_loader & quot; kompilátor vlajky, které umožňují, aby procházející možnosti back-end Prolog kompilátoru vestavěné predikáty, které kompilaci na disk a vložte (zkompilovaný) Prolog vlajku. Výchozí hodnota pro obě vlajky je prázdný seznam.
• Opravena chyba při sestavování volání Prolog vlastní vestavěnou-in meta predikátů, kde Logtalk kompilátor by se mohl pokusit zpracovat než meta argumenty jako cíle. Tato chyba se projevil pouze u některých back-end Prolog kompilátory, jako je Slunce.
• Opravena chyba při zpracování směrnic podmíněný překlad.
• Opravena chyba, která brání průchodu alias / 3 směrnice o volání do create_object / 4, create_category / 4, a create_protocol / 3 vestavěné predikáty.
• Odebráno z vestavěného objektu & quot; Logtalk & quot; se decompile_predicate_head / 4 a decompile_predicate_indicator / 4 zastaralé metody.
• odebrána podpora pro dlouhé zastaralé Logtalk metapredicate / směrnice 1.
• Opraven výkonu chybu při ukládání do mezipaměti volání do kategorie predikáty, kde mezipaměti záznamy mohly být konkrétnější, než je nutné při práci s parametrickými kategoriemi.
• Lepší caching & quot; výborný & quot; volání v rámci prototypů. Dříve, všechny uložené záznamy by se specializuje hodnotou & quot; já & quot; aby řádně řešit zvláštních případech, kdy předmět jak konkretizuje a specializuje se na jiné objekty.
• Aktualizované Logtalk kompilátor k aktivaci žádné prohlášení provozovatele, které najdete v směrnic přívlastkových působnosti při sestavování subjektů, které obsahují směrnice.
• Lepší výkon coinductive predikátů při použití back-end Prolog kompilátory, jako SICStus Prolog, které neposkytují ovládací konstrukt soft-cut, ale poskytují soft-cut vestavěný meta-predikátu (pokud / 3).
• Opraven chyba, kdy může být vytištěn podvržený zpráva kompilace / nakládacích varování, kdy byl zdrojový soubor zkompilovaný / naloženo s kompilátoru vlajky & quot; zprávy & quot; vypnuta.
• přidal & quot; streamvars & quot; knihovna objektů, odvozený od stávajícího & quot; assignvars & quot; knihovna kategorie, kde najdete podporu pro přidávání a získávání podmínky (které mohou být proměnné) z & quot; proud & quot; proměnná.
• Aktualizováno & quot; coinduction & quot; příklad, s využitím posílené coinductive / 1 Směrnice a rozšíření počtu jednotlivých příkladů, které lze spustit pomocí SICStus Prolog. Přidáno Modelový příklad kontroly, pomocí coinduction, coroutining, a omezení, přispěla by Neda Saeedloei.
• Aktualizováno & quot; metapredicates & quot; Příklad s ukázkový kód ilustruje, jak definovat obaly na bagof / 3 a SETOF / 3 vestavěných metod, kdy může meta-argument, obsahují existenčně kvalifikované proměnné.
• Aktualizováno & quot; cc & quot; příklad, oprava přívlastková definice několika back-end Prolog kompilátory a přidává některé základní testy jednotky.
• Aktualizováno & quot; kódování & quot; Příklad s omezenou podporu pro štíhlé Prolog.
• Přidána chybějící položky pro meta_non_terminal / 1 Směrnice a na výzvu // N non-terminál na & quot; pomoc & quot; příkladem.
• Přidán parser pro PDDL 3,0 soubory, přispěl Robert Sasak.
• Added kód skládací podporu textového editoru SubEthaEdit. Přidána kód skládací podporu pro podmíněné kompilace bloků k textových editorů Kate, VIM, a TextMate.
• Aktualizováno integračních skripty, aby se načíst knihovnu cesty souboru před načtením Logtalk kompilátoru / runtime. Tato změna má za cíl zjednodušit nakládání knihovny a například soubory ze souborů nastavení. Kromě toho se také podívat na instalačním adresáři Logtalk v $ HOME / akcii, když je proměnná LOGTALKHOME prostředí není definována. Díky vator Santos Costa pro návrh.
• Aktualizace instalačního systému Windows s cílem podpořit Lean Prolog a odhalování Yap 64 bitů verze.

Co je nového ve verzi 2.43.0:.

• Přidána experimentální podpora pro štíhlou Prolog
• Změnil hlášení o chybách, které Logtalk kompilátorem a běhu. Všechny výjimka termíny nyní používat, kdykoli je to možné, chyba (Error, Logtalk (cíl, Entity))
• Formát. Změněno kontrolu použití, kdykoli je to praktické, nové '$ lgt_must_be "/ 2-3 vnitřní predikáty vnitřní chybě.
• Přidáno & quot; optimalizace & quot; vlajka, jejíž výchozí hodnota je & quot; o & quot ;. Tento parametr umožňuje uživateli vypnout stávající optimalizace pro např ladění úkoly (
• v současné době realizovány optimalizace zahrnují odstranění nadbytečných výzev k pravému / 0 z těla sestavených ustanovení přísudek a odstranění
• redundantní volání (=) / 2 z těla ustanovení vytvořených rozšíření gramatických pravidel).
• Přidáno & quot; source_data & quot; vlajka, jejíž výchozí hodnota je & quot; o & quot ;. S tento příznak nastaven na & quot; o & quot ;, Logtalk bude mít informace reprezentované režim / 2 použití,
• info / 1-2, používá / 2, a use_module / 2 směrnic plus umístění zdrojových dat (včetně jména zdrojových souborů a čísla řádků), užitečné jak pro ladění
• a pro integraci s vývojovými nástroji. Tento parametr lze vypnout, aby se vytvořil větší kompaktní kód. Parameter_names / 1 objekt a
• kategorie vlastnost je odstraněn, aby se zabránilo redundance.
• Realizace chráněn / 1 a soukromého sektoru / 1 vlastností objektů, protokoly, a kategorií. Spolu s veřejností / 1 majetku, tyto vlastnosti
• umožňuje seznam predikáty ohlášených v subjektu k dispozici k reflexní výpočty. Realizace prohlašuje / 2, definuje / 2, obsahuje / 3,
• a poskytuje / 3 vlastnosti pro přístup k vlastnostem predikáty deklarovaných a definovaných v rámci účetní jednotky. Vlastnosti prohlášení obsahuje line_count / 1, číslo řádku směrnice o predikátu rozsahu. Definice vlastnosti patří line_count / 1, číslo řádku hlavy první
• klauzule pro predikát, a number_of_clauses / 1, počet doložkách pro predikátu. Také realizován experimentální použití / 3 a use_module / 3 vlastnosti.
• Přidána predikátu nemovitosti, redefined_from / 1, což umožňuje dotazování o objekt nebo kategorie, která obsahuje definici predikátu, který je předefinovat.
• Přidáno loaded_file / 3 predikát & quot; Logtalk & quot; vestavěný objekt, který doplňuje stávající loaded_file / 2 predikát a umožňuje přístup k
• explicitní možnosti použít, pokud byl soubor sestaven a načíst.
• realizované podpory kompilátor pro meta_non_terminal / 1 Směrnice a výzvy // N vestavěný-in non-terminálu.
• Zjednodušené sestavování gramatických pravidel tím, že odstraní podporu pro jednání s non-terminální rozsah a existence chyb na pravidla gymnáziu
• na úrovni namísto úrovně predikátu. I když tato funkce může být užitečná při ladění gramatická pravidla, to komplikuje integraci Logtalk s Prolog-nativní nástroje rozvoje.
• Aktualizováno kompilátor Logtalk aby zachránil doložka umístění entity, a aby tyto informace k dispozici na back-end Prolog kompilátory.
• Aktualizováno kompilátor Logtalk, aby se zabránilo vytváření zbytečných ustanovení vnitřní komora pro prohlášení predikátu a definic tabulek pro dynamické entity.
• Aktualizované Logtalk kompilátor, aby se předešlo použití multifile predikáty za porušení objektu zapouzdření. Primární Prohlášení
• subjekt musí existovat, obsahující jak rozsah a multifile směrnici pro predikátu. Kromě toho, definování ustanovení pro multifile
• Entity :: funktor / Arity bez odpovídající multifile / 1 Směrnice bude nyní mít za následek chybu kompilace namísto pouhého varování.
• Odstraněna Logtalk kompilátor omezení, která donutila nesousedících / 1 a dynamických / 1 směrnice předcházet volání deklarovaných predikáty.
• Lepší zpráva Logtalk kompilátor misspelt volání na non-terminály v gramatických pravidel.
• Povolit použití:. Ovládání / 1, postavit na těle gramatických pravidel
• Při ladění zpráv uvedených ve využití / 2 směrnice, zpráva je nyní tiskne implicitně označeny jako ve zdrojovém kódu napsaného uživatelem.
• změny vnitřní predikáty použité při realizaci vestavěných multi-threading predikáty s cílem usnadnit integraci s
• na vysoké úrovni, ladicí nástroje, které vyžadují dekompilaci generovaného Prolog kódu.
• Opravena chyba byla zavedena v Logtalk 2.42.4 na sestavování účetní jednotky predikáty, které vyžadují synchronizované predikáty. Tato chyba vedla k volání
• jsou vyrobeny místo k non-synchronizovaný forem predikáty, které by se projevují v náhodných výpadků závitových cílů.
• Opravený dlouhodobým chyba, kdy runtime-zkompilovaný meta-volání v rámci skupiny by byl sestaven jako volání predikátu objektu
• import kategorii místo jako volání na lokální kategorii predikátu.
• Opravený dlouhodobým chyba, kdy hodnoty vlajka jednotka nastaví místně pomocí set_logtalk_flag / směrnice 2 by nepodaří uložit do subjektu
• zkompilovaný kód.
• Opravený dlouhodobým chyba při zrušení dynamické predikát v non-prototypu objektu, kde zrušit / 1 metoda by uspět bez
• predikát je skutečně zrušena.
• Opraven chyba v nastavení správného provedení kontext při volání meta-argument, že vyžaduje runtime kompilaci v rámci
• & quot; odesílatel & quot;.
• Opravena chyba při sestavování explicitní kvalifikovaných výzev k modulu meta-predikáty, kdy by modul kvalifikace bude upuštěno od
• zkompilovaný volání. Všimněte si, že tyto výzvy budou používat Logtalk meta-přívlastková sémantiku (tj meta-argumenty bude volána v rámci
• volajícího), namísto obvyklých Prolog modulu meta-predikát sémantiky.
• Opraven bug, kde byl coinduction stohy není inicializována při použití

Co je nového ve verzi 2.42.4:

• Tato verze obsahuje kompilátor, runtime, a multi- threading optimalizace výkonu, zlepšuje kompilátoru chybové zprávy pro synchronizované / 1 a dynamické / 1 směrnic, přidává podporu pro uchování informací rozsah obsluhy a výstup tyto informace automaticky generovaný XML dokumentaci soubory, přidává nový nástroj predikáty na Logtalk objektu, zlepšuje několik programovacích příklady, zahrnuje řešení pro o SWI-Prolog odinstalování chyba v systému Windows, a je k dispozici aktualizace pro přenositelnost Qu-Prolog, SICStus Prolog, SWI-Prolog, XSB a YAP.

Co je nového ve verzi 2.42.3:

• Tato verze přidává podporu pro volání dynamické predikáty kontext & quot; to & quot; zevnitř kategorií, přidává podporu pro předem zkompilovaný klauzule hlavy, obsahuje opravy chyb a vylepšení vestavěného debugger, obsahuje vylepšené knihovny a příklady, přidává podporu pro indexicals při použití (FD) Knihovna SICStus Prolog CLP, přidává experimentální příklad pomocí připisovány proměnných uvnitř objektů a kategorií, a nabízí aktualizace přenositelnosti pro Eclipse, GNU Prolog, SICStus Prolog a SWI-Prolog.

Co je nového ve verzi 2.42.2:

• Tato verze vylepšuje sestavování volání do modulu predikáty , zlepšuje kontrola meta-argumentů meta-přívlastkových hovory, zlepšuje podporu pro lambda výrazy, obsahuje optimalizační kompilátor pro volání do knihovny meta-predikáty, přidává nové knihovny pro logování událostí, práce s časovými intervalu vztahy a pomocí celočíselné pulty, zlepšuje existujících příkladů a knihovny, přidává podporu pro použití SyntaxHighlighter balíček JavaScript-založené, a nabízí aktualizace přenositelnosti pro GNU Prolog, Qu-Prolog, SICStus Prolog, SWI-Prolog a XSB.

Co je nového ve verzi 2.42.1:

• Tato verze přidává podporu pro nová meta-predikát režimu ukazatele, umožňující podporu pro více Prolog vlastní vestavěnou-in meta-predikáty.
• byla přidána podpora pro detekci a hlášení chybí dynamické / 1 a nesouvislý / 1 směrnice.
• Nový lint vlajka byla přidána.
• dvě meta-přívlastková kompilace chyby byly opraveny.
• Některé z příkladů byly aktualizovány.
• přenositelnost aktualizace byly provedeny pro B-Prolog, SICStus Prolog, SWI-Prolog, XSB a YAP.