Logtalk je objektově orientovaný logický programovací jazyk, který může používat většinu implementací Prologu jako kompilátor typu back-end. Jako jazyk pro více paradigmat má Logtalk podporu pro oba prototypy a třídy, protokoly (rozhraní), programování založené na komponentách prostřednictvím kompozice založené na kategoriích, programování řízené událostmi a programování na více úrovních.
Co je nového v této verzi:
* ZLEPŠENO: Vyhněte se falešným chybějícím upozorněním na "meta_predicate / 1", když skutečné meta volání nesdílí proměnné s hlavička klauzule.
* ZLEPŠENO: Povolit použití výrazů lambda v pravidlech pro gramatiku, aniž byste museli používat wrapper `call // 1`.
* FIXED: Optimalizace chyby při kompilaci meta-argumentu uzávěrky, když výsledným cílem je volání do vestavěného predikátu Prolog kvůli vložení definice predikátu uživatele.
* FIXED: Optimalizace chyby při kompilaci meta-argumentu uzavření, když výsledným cílem je volání řídicího konstruktu Prolog `: / 2`.
Co je nového verze 3.19:
* Přidáno: Podpora pro definování dalších vestavěných predikátů Prolog pro zabarvení
kontrola cílů, které jsou vždy pravdivé nebo nepravdivé, na soubory adaptéru používající
hook predikát `'$ lgt_candidate_tautology_or_falsehood_goal_hook' / 1`.
* Přidáno: Vlastnost objektu `module 'pro objekty, které jsou výsledkem kompilace
modulů Prolog.
* Přidáno: Chyba pohodlí při hromadném vkládání metod "syntax_error / 1" a "
`system_error / 0`. Tyto metody nabízejí standardní výjimku `error / 2`
a jsou ekvivalentní sekvenci volání metody `context / 1` a` throw / 1`.
* REMOVED: Podpora pro zastaralé Logtalk 2.x `calls / 1`,` uses / 1` a
"alias / 3".
* REMOVED: Podpora pro zastaralý Logtalk 2.x `: / 1` řídící konstrukt.
* REMOVED: Podpora pro zastaralé Logtalk 2.x `unknown ',` singletons`,
`tmpdir` a` version` příznaky kompilátoru.
Co je nového ve verzi 3.14:
NEW: Podpora parametrů _parametru_, která poskytuje alternativu k parametrům
"parametr / 2" a "to / 1" vestavěné metody pro přístup k parametrům entity.
Proměnné parametrů jsou proměnné použité v parametrickém identifikátoru entity
které začínají a končí podtržítkem (`_VariableName_ '). Veškerý výskyt
parametru proměnné v klauzuli entity je implicitně sjednocen s
parametr entity. To umožňuje přidávat, upravovat nebo upravovat parametry entity nebo
odstraněny, aniž by vyžadovaly jakékoli změny klauzule, které se na ně vztahují.
Proměnné parametrů jsou podporovány pouze pro parametrické entity definované v
Co je nového ve verzi 3.13:
NOVINKA: Podpora kompilátoru pro detekci volání místních statických predikátů bez odpovídajících klauzí ).
Co je nového ve verzi 3.11.1:
* ZLEPŠENO: Výstražné a chybové zprávy pro kompilátory, které je učiní jednotnějšími, aby usnadnily parsování redaktory a IDE a zabránily tisku potenciálně velkých výrazů.
* Zlepšení: kompilátor již nevyžaduje, volání do databáze a reflexních predikátech, kde první parametr je modul kvalifikované období, které mají být zabaleny pomocí `{} / 1` ovládací kompilátor bypass konstrukt.
* ZLEPŠENO: Kontrola chyby kompilátoru pro volání databázových a reflexních predikátů, kde první argument je termín kvalifikovaný pro modul.
* ZLEPŠENO: Minimalizujte počet opakovaných načtení souborů vyvolaných voláním k predikátům `logtalk_make / 0-1`.
* Opraveno:. Případ, kdy `logtalk_make / 0-1` predikáty by nepodaří načíst soubor, jehož kompilace generované chyba kompilátoru
Co je nového ve verzi 3.11:
* CHANGED: Vestavěný predikát `current_event / 5`, který vždy vyvolá první argument při jeho volání bez vazby.
* Přidáno: Podpora přepsání výchozího adresáře pro škrábání definováním
knihovnu aliasu `scratch_directory` v inicializačním souboru Prolog
(předpokládá se, že jsou načteny před zatížením Logtalk). Po diskusi s
Douglas R. Miles na podporu instalace protokolu Logtalk do adresáře pouze pro čtení
a běží více instancí Logtalk souběžně bez konfliktu.
* Přidáno: Kontextová kontextová metoda pro zpřístupnění přístupu
do kontextu spuštění předpovědi volání. Používá se hlavně k poskytnutí výchozího nastavení
chybového kontextu při argumentaci typu predikátu pro kontrolu typu.
* Přidáno: Podpora tisku zpráv druhu `debug` a` debug (_) `. Tyto
zprávy jsou ve výchozím nastavení vytištěny pouze při zapnutí příznaku `debug`.
* ADDED: Vlastnost `obsahuje (Soubor)` na `logtalk :: loaded_file_property / 2`
predikát povolit výčet všech souborů zahrnutých a
(
Co je nového ve verzi 3.10.7:
* RENAMED: Cíl `logtalk_make / 1` 'missing' to` check`.
* Přidáno: Podpora pro rozšíření cílů "logtalk_make / 1" s definovaným uživatelem
akce s použitím nového multifile predikátu `logtalk_make_target_action / 1`.
* Přidáno: Kompilátor nehtů kontroluje tautologii a falešné cíle entity.
V současné době jsou kontrolovány volání na sjednocení, porovnání a typ Prolog
testování vestavěných predikátů. Navrhovaný Barrym Evansem.
Co je nové ve verzi 3.10.5:
* FIXED: kontextu vestavěných metod.
* FIXED: Selhání kompilátoru v důsledku použití přenosnosti kontroly na volání na vestavěné predikáty a funkce Prologu nalezené v pomocných klauzulech (obvykle generované mechanismem rozšíření termínu).
Co je nového
strong> ve verzi 3.10.3: * ZLEPŠENO: Zjednodušený kód generovaný pro vícefukové predikáty.
* FIXED: Regrese v předchozím vydání v kompilaci multifile
klauzule predikátů, které volají na řídicí konstrukce `:: / 1-2`.
Co je nové ve verzi 3.09.1:
* ADDED: Podpora pro objekty `number_of_rules / 1` a` number_of_user_rules / 1`
a vlastnosti kategorie.
* Přidáno: Podpora vlastností predikátů `number_of_rules / 1`.
* Přidáno: Detekce direktiv "meta_predicate / 1", které nesprávně určují cíl
meta-argument, který je vlastně uzávěr předán meta-predikátu "call / 2-N"
volání. Díky reportáži Arunovi Majumdarovi.
* Přidáno: Detekce chybějících direktiv rozsahů predikátů v přítomnosti
Co je nového ve verzi 3.09.0:
* CHANGED: domovský adresář
pokud se nenachází v adresáři spouštění nebo v adresáři uživatelů protokolu Logtalk.
Nastavení parametru `settings_file` na` restrict` nyní omezuje vyhledávání
soubor nastavení do adresáře uživatele Logtalk a domovského adresáře uživatele.
Tyto změny jsou užitečné, když tým sdílí instalaci Logtalk s oběma
proměnné prostředí LOGTALKHOME a LOGTALKUSER, které ukazují na
stejný adresář. Díky návrhu Barrymu Evansovi.
Co je nového ve verzi 3.08.0:
* ZMĚNA: Zajistěte, informace o souboru a řádku jsou vždy posledním řádkem hlášeného problému.
Co je nového ve verzi 3.07.0:
* Přidáno: Příznak "unicode" pouze pro čtení, který popisuje kompilátor Prologu pro backend
podpora standardu Unicode.
* Přidáno: Podpora instancí argumentů `++ '(zem) a` --` (nevázaných)
(deklarované jako prefixové operátory) pro použití s predikátem `mode / 2`
směrnice.
* Přidáno: Podpora specifikace determinismu `one_or_error` v` mode / 2`
předpovědní směrnice. Užitečné pro dokumentaci predikátů kontroly typu.
* ZLEPŠENO: Detekuje pokusy o volání existenčně kvantifikovaných cílů mimo
rozsah volání "bagof / 3" a "setof / 3".
* FIXED: Při sestavování směrnic `uses / 2` nevytvořte klauzuli propojení pro
runtime použití vestavěných predikátů v `user ', když není definován žádný alias.
* FIXED: Při propagování selhání kompilace souboru do jeho nadřazených souborů,
zajistěte, aby předchůdci souboru byli znovu načteni od nejvyššího předku
mechanismem výroby.
* FIXED: Vyhýbejte se redundantnímu nahrávání souborů při volání `logtalk_make / 0` nebo
`logtalk_make / 1` s cílem` all`.
* FIXED: Detekce chybějících predikátů v ^^^ / 1` hovorech při volání
`logtalk_make / 1` s cílem 'missing'.
* FIXED: Chyba v reflexe API, kde je nějaká predikátová křížová reference
informace nebyly zaznamenány. Díky Edwardovi Schwartzovi za zprávu o chybě.
Co je nové ve verzi 3.06.2:
Toto vydání pokračuje v práci na zlepšení nástrojů pro vývojáře sponzorství společnosti Kyndi, Inc. Zahrnuje novou verzi nástroje pro přenášení prostých aplikací Prolog a vylepšení a oprav pro nástroje lgtunit a diagramů. Obsahuje také nové jednotky testy, kompilátory a opravy dokumentace a aktualizace kompatibility pro Lean Prolog.
Co je nové ve verzi 3.04.1:
* FIXED: chyba kompilátoru, kde předikát rozšířený termínem voláním metody "compile_aux_clauses / 1" může být chybně hlášen jako nesouvislý.
* FIXED: Hovory k "threaded_notify / 1 " vestavěnému predikátu z "pseudo-objektu" uživatele nesmí vyžadovat vázaný argument podle dokumentace.
* FIXED: Volání na vestavěné predikáty `object_property / 2` and category_property / 2` s parametry` number_of_clauses / 1` nebo `number_of_user_clauses / 1` jsou deterministické.
Co je nový ve verzi 3.03.0:
* Přidáno: Podpora nového cíle "logtalk_make / 1", "missing", pro zobrazení chybějících entit a predikátů. K dispozici také pomocí zástupce `{?} '.
* Přidáno: Podpora nového cíle logalk_make / 1`, cirkulární, pro výpis kruhových odkazů (s ohledem na posílání cílů zpráv) mezi dvojicemi a trojicí objektů. K dispozici také pomocí zástupce `{@} '.
* ZLEPŠENO: Připojte adresářový hash k mezilehlým názvům souborů Prolog, aby se zabránilo kolizím názvů souborů při shromažďování všech mezipamětí ve stejném adresáři pro vkládání. V současné době vyžaduje ECLiPSe, GNU
Prolog, JIProlog, Quintus Prolog, SICStus Prolog, SWI-Prolog, XSB nebo YAP jako kompilátor pro backend.
* FIXED: chyba optimalizace volání metadatových předpovědí, když meta-argument je buď předkompilovaný uzávěr nebo uzávěr pro cíl nazvaný v kontextu
uživatelský pseudo-objekt. Pro uzavření meta-argumentů použijte také přísnější kontrolu chyb.
* FIXED: Pěkný tisk parametrických identifikátorů objektů a parametrických kategorií v chybových a varovných zprávách.
Co je nového ve verzi 3.02.2:
* FIXED: Chyba při kontrole chyby v výrazech lambda pomocí funkce `true / 0` jako lambda
fotbalová branka. Díky Borisu Vassilevovi za zprávu o chybě.
* FIXED: Predikát `logtalk_make / 1` bude úspěšný (po vytištění varování
) při volání s neiniciovaným nebo neplatným argumentem namísto
selhání. na
generované mezilehlé soubory Prologu pomocí vícefilekového predikátu pro lepší
vkládání zkušeností. Pozoruhodně usnadňuje přírůstkové vkládání.
* ZLEPŠENO: Vytvořené predikáty nyní znovu načtou nadřazené soubory souborů
chyby při kompilaci nebo načítání. To zajišťuje, že když vadný soubor přeruší
kompilace všech souborů v souboru zavaděče, soubory uvedené po selhání
soubor bude kompilován, pokud je vadný soubor opraven a předikáty jsou
Co je nového ve verzi 3.02.1:
* ZLEPŠENO: Položky runtime tabulky pro načtené soubory jsou nyní přidány do generovaných mezilehlých souborů Prologu pomocí multifilačního predikátu pro lepší zážitek při vkládání. Pozoruhodně usnadňuje přírůstkové vkládání.
* ZLEPŠENO: Vytvořené predikáty nyní znovu načtou nadřazené soubory souborů s chybou při kompilaci nebo načítání. Tím se zajistí, že v případě, že vadný soubor přeruší kompilaci všech souborů v souboru načítání, budou soubory uvedené po chybném souboru kompilovány, pokud bude vadný soubor opraven a budou vyvolány predikáty.
Co je nového ve verzi 3.01.2:
Tato verze dokončuje implementaci statické vazby; přidává podporu pro použití názvů souborů jako-je s předkládáním pro kompilaci a načítání; opravuje chyby kompilátoru; aktualizace dokumentace funkcí; zlepšuje nástroje pro ladění, testování a dokumentaci; přidává nový soubor testů jednotky pro kontrolu souladu Prolog s oficiálními a de facto standardy; aktualizuje barvu syntaxe pro všechny podporované textové editory a zvýrazňovače syntaxe; a obsahuje aktualizace kompatibility pro ECLiPSe, JIProlog a YAP.
Požadavky :
Kompatibilní kompilátor prologu.
Komentáře nebyl nalezen