Logtalk

Logtalk е с отворен код обектно-ориентирано разширение на езика Prolog програмиране. Интегриране логика програмиране с обектно-ориентиран и възникнали от събития, програмиране, той е съвместим с повечето Prolog компилатори.
Logtalk подкрепя прототипи, така и класове. В допълнение, той поддържа компонент на базата на програмиране чрез състав категория базирани

<силни> Характеристики :.

<Ли клас = "bbli"> Separation между интерфейс и изпълнение:
• предикатното директиви (декларации) може да се съдържа вътре протоколи (интерфейси), които могат да бъдат прилагани от всеки обект.

<Ли клас = "bbli"> Параметрични обекти:
Имена
• обект може да бъде съставни термини, съдържащи свободни променливи, които могат да бъдат използвани, за да parametrize обект предикати.

<Ли клас = "bbli"> Подкрепа за двете системи от клас-базирани и прототип на базата на:
• Може да се наложи, в същото приложение, клас-базирани йерархии (с примерна и специализация отношения) и прототип на базата на йерархии (с разширение отношения).

<Ли клас = "bbli"> Поддръжка на множество обекти йерархии:
• Не е необходимо да бъдат ограничени до един продължителен йерархия корени в някои генерични обект.

<Ли клас = "bbli"> Private, защитена, и общественото наследство:
• Logtalk подкрепя лично, защитена, и общественото наследство по начин, подобен на C. Освен това, всяка връзка образувание може да се окачестви като се използва обхват дума.

<Ли клас = "bbli"> частни, защитени, както и публично обекти предикати:
• Настройване на обхвата на вашия обект предикати да съвпадне с вашия протокол дизайн и нека система по време на работа налагат избора си.

<Ли клас = "bbli"> статични и динамични обекти:
• Обекти могат да бъдат или статични или динамични. Статичните обекти са определени в изходни файлове, които се събират и се зареждат по същия начин, както Prolog файлове. Dynamic обект може да се реализира или в изходни файлове или създадени по време на работа.

<Ли клас = "bbli"> Статичен и динамичен обектно предикати:
• Всеки статичен обект може да съдържа както на статични и динамични предикати.

<Ли клас = "bbli"> A предварително процесор, така че ние може да използва стандартния Prolog синтаксис:
• Logtalk използва стандартен Prolog синтаксис с добавянето на няколко оператори и директиви за гладка кривата на обучение.

<Ли клас = "bbli"> Възникнали от събитие програмиране:
• предикати могат да бъдат косвено нарича, когато настъпи шпионира събитие, което позволява програмиране решения, които минимизират обект прикачване. В допълнение, събития осигуряват подкрепа за поведенческа рефлексия.

<Ли клас = "bbli"> Component-базирани програмиране:
• предикати могат да бъдат капсулирани вътре категории, които могат да бъдат практически внесени от всеки обект, без никаква код дублиране и независимо от обектни йерархии. По този начин, обекти могат да бъдат определени чрез композиция от категории, които действат като фин единици код за повторна употреба.

<Ли клас = "bbli"> Multi-наследството подкрепа:
• Logtalk поддържа мулти-наследството на протокол, така и за изпълнение. Един обект може да изпълнява няколко протокола и разшири, специализирани или конкретни примери няколко обекта. Multi-наследствените конфликти се решават имплицитно от Logtalk търсене на алгоритми или изрично чрез използване на предикатните директиви.

<Ли клас = "bbli"> Добро представяне:
• Logtalk код се компилира като се използват същите техники, които се използват, за да напишете ефективно Prolog код. Освен това, начинът заявки са кеширани от изпълнението на двигателя на Logtalk, значително подобряване на резултатите. Benchmark резултати за някои Prolog компилатори са на разположение тук.

<Ли клас = "bbli"> тясна интеграция с Prolog стандарта ISO:
• Logtalk е предназначена за плавно интегриране с всеки Пролог компилатор, който отговаря или следи с Prolog стандарта ISO.

<Ли клас = "bbli"> Съвместим с повечето Prolog компилатори:
• Logtalk интерфейси с конкретна Пролог компилатор чрез минимално конфигурационен файл което го прави съвместим с почти всеки съвременен компилатор.

<Ли клас = "bbli"> Автоматично генериране на XML файлове документация:
• Logtalk автоматично генерира документация в XML формат за всеки съставен обект, протокол, или категория. Системата включва цялата необходима XSL (Т) файлове и скриптове, за да я превърне в документирането на файлове в (X) HTML и PDF.
• Logtalk работи на почти всеки компютър с компилатор Prolog (основната среда за развитие е Apple PowerBook G4 работи MacOS X). Интерфейсът между Logtalk и специфичен Пролог компилатор се осъществява чрез конфигурационен файл.
• Файлът съдържа някои Logtalk специфични предикати и реализации за ISO Prolog стандарт предикати не са налични в компилатора Prolog.

<Ли клас = "bbli"> В написването Logtalk Аз се опитах да следват стандарта ISO Prolog, когато е възможно. Възможности необходими Logtalk, които не са определени в част I на стандарта ISO са:
<Ли клас = "bbli"> достъп до предикатното свойства (динамична, статична, built_in):
• При условие, че любимата ви Prolog има тези възможности, споменати по-горе, като конфигурационен файл е много лесно. Пакетът Logtalk вече включва конфигурационни файлове за най-често срещаните съставителите Prolog. За оптимална производителност, Logtalk изисква компилаторът Prolog подкрепя първи аргумент индексиране за статичен и динамичен код.

<Ли клас = "bbli"> Logtalk разработка и тестване в момента се извършва с помощта на следните Prolog съставителите (по азбучен ред):
• GNU Prolog 02/01/18
• SWI Prolog 5.4.7
• Yap 4.5.7
• Поради това, те са може би най-добрия си избор за тичане Logtalk (при условие, че вие ​​сте свободни да използвате един от тези компилатори).

<Ли клас = "bbli"> В допълнение, Logtalk работи с малко или без модификации със следните Prolog съставителите (по азбучен ред):
• ALS Prolog 3.1
• Амсия! 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
• Open 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

Какво ново в тази версия:

• Изменено съобщението изпращане механизъм да се обадя на & quot; преди & quot; със събития, преди осъществяване на метода Търсене. Тази промяна трябва да има никакво въздействие върху съществуващия код, но позволява някои интересни приложения (напр провали вместо да хвърли изключение, когато съобщението не се разбира).
• -последователна работа на компилатора знамена между стойностите на настройките флаг при съставянето / зареждане на файлове и при използване на set_logtalk_flag / 2 вграден предикат: и в двата случая, за определяне на & quot; smart_compilation & quot; флаг ще изключите & quot; чист & quot; флаг и създаването на & quot; чист & quot; флаг ще изключите & quot; smart_compilation & quot; флаг. Също така, създаване на & quot; отстраняване на грешки & quot; флаг ще се изключи както и quot; smart_compilation & quot; и & quot; чист & quot; знамена.
• Позволява мека нарязания контрол конструкт, (* - & GT;) / 2, когато роден поддържа от гърба в края Пролог компилатор, за да се използва в тялото на граматични правила (след една забележка от Даниел Диас, докато обсъждат GNU подкрепа Prolog за контрол на конструкцията на мека нарязан).
• поправени Logtalk компилатор бъг, когато & quot; source_data & quot; флаг е с гърба в края Prolog компилатори, където не е възможно да се извлече позицията на термин за четене.
• поправен бъг в съставянето на meta_non_terminal / 1 Директивата за където само първата мета-аргумент ще бъде правилно обработени.
• Updated конфигурационния файл затъмнение за откриване, когато работи с Windows 64 бита системи и да се игнорира без първоначални и не-оператор на износа, когато предварително обработка на либералните / 1 директиви.
• Updated рамките на звено за анализ, за ​​да отпечатате по-информативни съобщения за успешно тестовете на дялове.
• Добавена предикатното раздели / 4 (за разделяне на списък в подсписъци с дадена дължина) на & quot; listp & quot ;, & quot; & quot ;, списъка и & quot; difflist & quot; библиотечни единици.
• Updated на & quot; НК & quot; Например с определение за черупки / 2 предиката за CxProlog.
• променили имената на обектите в & quot; ИН & quot; Например, за да се избегне конфликт име, когато работи на изпитванията за пример единица.
• поправен бъг в Windows инсталатора, който попречи откриване на Yap 64 бита версии. Благодарение на Степан Ipatov описва грешката.
• поправен бъг в инсталатора Windows, който не позволяваше на потребителите да персонализирате инсталационната директория. Благодарение на Daniel Moniz описва грешката и да Gavin Lambert за диагностициране на бъгове.
• Updated инсталационния скрипт Windows за подобряване откриването на XSB и по подразбиране, за да инсталирате само файловете всеки потребител при направено от потребител не-администратор на компютър, на който вече е инсталиран Logtalk.
• Добавена основна подкрепа за латекса & quot; обяви & quot; пакет. Публикувана бележки за & quot; сечени & quot; и & quot; texmates & quot; LaTeX пакети.
• Добавени Бележки за редактора Textastic IPAD.
• Добавена основния синтактично оцветяване и код сгъваеми подкрепа за текстовия редактор на UltraEdit.
• Updated на TextMate снопчето да забрани автоматичното тире корекции, въведени в редакцията развитие на TextMate 2.0.

Какво ново във версия 2.44.0:

• променили семантиката на допълване категории да позволяват изкърпване и двете предикатни декларации и предикатни определения на допълнени обекти. Това се постига чрез осигуряване на тази декларация предикат и определение заявки започват от допълващите категории, преди да погледнете в допълва самия обект или в свързаните с него лица.
• Updated компилаторът Logtalk за да се генерира предупреждение при съставянето на комплементарна категория за допълнена обект, който е компилиран с поддръжка за допълване категории изключена.
• поправен бъг в обработката на мета-покани за мета-предикати където контекста на разговори ще се установи на & quot; това & quot; вместо & quot; подател & quot; когато мета-аргумент беше един от най-:: / 2, {} / 1,

Какво ново във версия 2.43.3:

• Промяна на компилатора да се вземат предвид начините за употреба / 2 Директива при съставянето на повиквания към отражението вградени методи. Тази промяна се простира семантиката на употреба / 2 Директивата за и позволява по-лесно преминаване от обикновен Prolog приложения да Logtalk.
• Updated изпълнението на predicate_property / 2 вградени метод, добавяне на обхват / 1 имот.
• Updated на Logtalk компилатора да добавите информация за име на файла източник, източник файл директория, както и опции за файла източник компилатора да генерираните Prolog файлове. В предишните версии, тази информация е регистрирано само при зареждане на файл източник. Промените опростят строителни приложения, където Logtalk библиотеки са предварително компилирани и предварително заредени.
• Updated на Logtalk компилатора печат на името на обекта на куката използва при съставянето на изходните файлове, когато & quot; кука & quot; съставител на знамето е определена.
• Updated на
вграден дебъгер, за да се избегнат ненужни избор точки, създадени от гърба в края Prolog компилатори, чиито прибере / 1 изпълнение не успее да се възползва от логически актуализирани семантика да провеждате разговори детерминирана.
• поправен бъг в Logtalk компилатор време на работа водачът, където той не успя да декомпилира вътрешните идентификатори предприятието възниква при хвърляне лице съществуване изключения.
• Updated на Lean Prolog конфигурационния файл, добавяне / индекс на 1 директиви за някои от най-динамичните предикати, използвани от вътрешните таблици Logtalk по време на работа.
• Updated интеграция файлове SWI-Prolog да тестват за наличието на директивата на индекса / 1, която е отхвърлена от нова експериментална поддръжка SWI-Prolog за точно навреме мулти-аргумент индексиране.
• Добавено предикати последователност / 4 (за генериране на последователности на списък с дадена дължина), заменен / 4 (за подмяна на елементи в списъка), и hamming_distance / 3 до библиотеката & quot; listp & quot; и & quot; списък & quot; образувания.
• Добавена euclidean_norm / 2, chebyshev_norm / 2, manhattan_norm / 2, euclidean_distance / 3, chebyshev_distance / 3, manhattan_distance / 3, и scalar_product / 3 предикати до библиотеката & quot; numberlistp & quot; и & quot; numberlist & quot; образувания.
• поправен някои глупави грешки при определянето на & quot; характер & quot; библиотека обект предикати is_bin_digit / 1, is_octal_digit / 1, is_dec_digit / 1, и is_hex_digit / 1.
• Updated библиотеката & quot; all_loader.lgt & quot; товарач файл, за да го заредите, & quot; meta_compiler_loader.lgt & quot; товарач файл.

Какво ново във версия 2.43.1:

• Промяна на компилатора да се вземат предвид начините за употреба / 2 Директива при съставянето на повиквания към базата данни вградени методи. Тази промяна се простира семантиката на употреба / 2 Директивата за и позволява по-лесно преминаване от обикновен Prolog приложения да Logtalk.
• Добавена експериментална поддръжка за използване на шаблон предикат като аргумент да coinductive / 1 Директивата за. Този шаблон позволява на спецификацията на която аргументи са значими за coinductive успех. Въз основа на подобна функционалност намерен на DRA мета-интерпретатор Феликс Kluzniak си.
• Подобрена поддръжка за отстраняване на грешки coinductive предикати, когато използвате Logtalk вграден дебъгер.
• Премахнато coinduction подкрепа за CxProlog. Текущата версия на този компилатор липсва мека нарязан вграден предикат или контрол конструкт, който сега се изисква от изпълнението на експерименталния coinduction.
• вдигна дългогодишна давност, което е попречило на определението за употреба на обвиващи предикати за bagof / 3 и setof / 3 вградени методи, когато аргументът на гол могат да използват екзистенциалната квантор ^ / 2.
• Добавена е поддръжка за & quot; ^ & quot; мета-предикат мета-аргумент режим спецификатор предложено от Jan Wielemaker и намери на СВИ-Prolog 05.11.25. Този режим спецификатор е полезна при определяне на опаковки за bagof / 3 и setof / 3 вградени методи, когато аргументът на гол могат да използват екзистенциалната квантор ^ / 2.
• Добавено & quot; prolog_compiler & quot; и & quot; prolog_loader & quot; съставител знамена, които пропускат възможности за обратно края на Prolog съставител вградени предикати, които съставят на диск и да заредят (компилиран) Prolog флаг. Стойността по подразбиране за двете знамена е празен списък.
• Поправен е бъг при съставянето на повиквания към Prolog имуществена вграден мета предикати където Logtalk компилатора може да се опитват да преработват несъответстващо аргументи метафорите като цели. Този бъг само се проявява с някои гърба в края Prolog компилатори като Eclipse.
• поправен бъг в обработката на условни директиви за компилиране.
• Поправен е бъг, който не позволяваше преминаване псевдоними / 3 директиви на повиквания към create_object / 4, create_category / 4, и create_protocol / 3 вградени предикати.
• Премахнато от вградения обект & quot; logtalk & quot; на decompile_predicate_head / 4 и decompile_predicate_indicator / 4 отхвърлени методи.
• Премахната поддръжка на дългосрочен отхвърлена Logtalk metapredicate / 1 директивата.
• поправен бъг производителност при кеширане разговори към категорията предикати където кеширани записи могат да бъдат по-конкретни, отколкото е необходимо, когато се работи с параметрични категории.
• Подобряване на кеширане на & quot; супер & quot; призовава отвътре прототипи. Преди това всички кеширани записи ще бъдат специализирани от стойността на & quot; самостоятелно & quot; , за да се справи както с специалните случаи, когато даден обект instantiates, така и специализирана други обекти.
• Updated на Logtalk компилатора да активирате всички декларации оператор намерени на предикатните директиви обхват по време на правенето на субектите, които съдържат в директивите.
• Подобряване на изпълнението на coinductive предикати при използване на гърба в края Prolog компилатори като SICStus Prolog, които не осигуряват контрол конструкция мека нарязан, но предоставят на меките кройката вграден мета-предикат (ако / 3).
• Поправен е бъг, при фалшив доклад на предупреждения компилация / товарене може да бъде отпечатан, когато бил съставен файл източник / зареден с компилатор флага & quot; доклад & quot; изключена.
• прибавя & quot; streamvars & quot; библиотека обект, получен от съществуващата & quot; assignvars & quot; библиотека категория, с участието на подкрепа за добавяне и извличане на термини (които могат да бъдат променливи) от & quot; поток & quot; променлива.
• Updated на & quot; coinduction & quot; Например, като се възползват от засилената coinductive / 1 директивата и разширяване на броя на отделните примери, които могат да бъдат управлявани с помощта SICStus Prolog. Добавен модел проверка например, използвайки coinduction, coroutining, и ограничения, допринесли Неда Saeedloei.
• Updated на & quot; metapredicates & quot; Например с примерен код, илюстриращ как да се определят опаковки за bagof / 3 и setof / 3 вградени методи при мета-аргумент може да съдържа екзистенциално квалифицирани променливи.
• Updated на & quot; НК & quot; Например, за коригиране на предикатните определения за няколко гърба в края Prolog компилатори и добавяне на някои основни тестове за единица.
• Updated на & quot; кодировки & quot; Например с ограничена подкрепа за Lean Prolog.
• Добавена липсващи записи за meta_non_terminal / 1 Директивата за и за поканата // N не-терминал на & quot; помогнат & quot; Например.
• Добавена на анализатор за PDDL 3.0 файлове, внесена от Robert Sasak
.
• Добавено код сгъваеми подкрепа на текстовия редактор на SubEthaEdit. Добавен код сгъваеми подкрепа за условията компилация блокове на текстови редактори на Кейт, Вим и TextMate.
• Updated скриптове за интеграция, за да се зареди пътеки файл библиотека, преди да заредите Logtalk съставител / време на изпълнение. Тази промяна има за цел да опрости товарене на библиотечните и примерни файлове от файловете с настройки. В допълнение, също търсят инсталационната директория Logtalk в $ HOME / акция, когато променливата LOGTALKHOME среда не е определена. Благодарение на VAtor Santos Costa за предложението.
• Updated инсталатора Windows, за да се подкрепи Lean Prolog и разкриване на Yap 64 бита версии.

Какво ново във версия 2.43.0:.

• Добавена експериментална поддръжка за Lean Prolog
• Променени отчитането на грешки от Logtalk съставител и време на изпълнение. Всички изключения отношение вече използват, когато това е възможно, грешката (грешка, logtalk (Goal, Entity))
• формат. Промяна на вътрешна грешка проверка за употреба, когато е практично, новата "$ lgt_must_be" / 2-3 вътрешни предикати.
• Добавена на & quot; оптимизиране & quot; флаг, чиято стойност по подразбиране е & quot; на & quot ;. Този флаг позволява на потребителя да изключите съществуващите оптимизации за напр дебъгване задачи (на
• изпълнявани понастоящем оптимизации включват премахването на излишни разговори за вярно / 0 от тялото на компилираните клаузи предикатни и отстраняването на
• излишни разговори към (=) / 2 от тялото на клаузи, генерирани от разширяването на граматични правила).
• Добавена на & quot; source_data & quot; флаг, чиято стойност по подразбиране е & quot; на & quot ;. С този флаг настроен на & quot; на & quot ;, Logtalk ще съхранява информацията, представени при използване на режим / 2,
• Инфо / 1-2, използва / 2, и use_module / 2 директиви, както и данните за местоположението на източника (включително имена източник файлове и номера на редовете), полезни както за отстраняване на грешки
• и за интеграция с инструменти за разработка. Този флаг може да бъде изключена, за да се генерира по-компактен код. The parameter_names / 1 обект и
• категория имот е изтеглен, за да се избегнат съкращения.
• Изпълнено защитена / 1 и лично / 1 на имоти за обекти, протоколи и категории. Заедно с обществена / 1 имота, тези имоти
• позволява списъка на предикати, декларирани в предприятието, за да бъдат достъпни за светлоотразителни изчисления. Изпълнено декларира / 2, определя / 2, включва / 3,
• и осигурява / 3 свойства за достъп до свойствата на предикати декларираните и дефинирани в рамките на едно предприятие. Декларация свойства включват line_count / 1, броят линия на директивата за обхват предикат. Определение свойства включват line_count / 1, номерът на реда на глава на първа
• клауза за сказуемото, и number_of_clauses / 1, броят на клаузи за сказуемото. Също така изпълнява експериментални цели / 3 и use_module / 3 имота.
• Добавена предикат имот, redefined_from / 1, което позволява на заявки за обекта или категорията, която съдържа определение предикат, който се предефинира.
• Добавена loaded_file / 3 предикат на & quot; logtalk & quot; вграден обект, който допълва съществуващия loaded_file / 2 предикат и дава достъп до
• изрични опции използвани, когато файлът е бил съставен и зареден.
• Изпълнено компилатор подкрепа за meta_non_terminal / 1 директивата и призива // N вграден в не-терминал.
• Опростена съставянето на граматиката чрез премахване на подкрепа за справяне с не-терминални обхват и съществуването грешки в граматичното правило
• равнище вместо на нивото на предикат. Въпреки, че тази функция може да бъде от полза и при дебъгването граматични правила, само затрудняваше интеграцията на Logtalk с Prolog-местни инструменти за разработка.
• Updated компилаторът Logtalk за да записвате места на автономните клауза и да предоставя тази информация на гърба в края Prolog компилатори.
• Updated компилаторът Logtalk за да се избегне генерирането на ненужни клаузи вътрешни универсални съвети за декларацията на предикатното и таблиците дефиниция за динамични образувания.
• Updated на Logtalk компилатора за да се изключи използване multifile предикати за чупене на обект капсулиране. Първичният декларация
• Предприятието трябва да съществува, съдържащ както обхват и multifile директива за сказуемото. В допълнение, определянето клаузи за multifile
• Entity :: Functor / Arity без съответното multifile / 1 Директива сега ще доведе до грешка, а не просто предупреждение компилация.
• Премахнато ограничение на Logtalk компилатор, който принуди допира / 1 и динамични / 1 директиви да предхожда разговори с декларираните предикати.
• Подобряване на доклада за Logtalk съставител на правописни разговори към не-терминали в граматични правила.
• Позволено е използването на:. Контрол / 1 изгради върху тялото на граматични правила
• Когато съобщенията за грешки, определени в употребата / 2 директиви, съобщението се сега отпечатан косвено квалифицирано като в изходния код, написан от страна на потребителя.
• промениха вътрешните предикати, използвани при изпълнението на вградените в многонишкова предикати, за да се улесни интеграцията с

Инструменти
• високо равнище за отстраняване на грешки, които изискват декомпилиране на генерираните Prolog код.
• поправен бъг въведена в Logtalk 2.42.4 относно изготвянето на предприятието предикати, които призовават синхронизирани предикати. Този бъг доведе до призиви
• се прави вместо към не-синхронизирано форми на предикатите, които ще се проявят в случайни откази на цели конци.
• поправен дългогодишен бъг, при който по време на работа компилирани мета-разговор в категория, ще се събират като призив да предикат на обекта
• вносител категорията вместо като призив за местен предикат категория.
• поправен дългогодишен бъг, при определени локално стойности флаг предприятие чрез използването на set_logtalk_flag / 2 директива няма да успее да се спаси в предприятието
• компилиран код.
• поправен дългогодишен бъг, когато се премахне динамична предикат в не-прототип обект, при която се премахне / 1 метод ще успее без
• предиката действително е премахнато.
• поправен бъг в създаването контекста на правилното изпълнение, когато се обаждате мета-аргумент, който изисква по време на работа компилация в контекста на
• & quot; подател & quot;.
• поправен бъг в съставянето на изрична-квалифицирани повиквания към модула мета-предикати, където квалификацията на модула ще бъдат снети от
• съставен повикване. Имайте предвид, че тези разговори ще използват Logtalk мета-предикатни семантика (т.е. на мета-аргументи ще се нарече в контекста на
• повикващия) вместо обичайните Prolog модул мета-предикат семантиката.
• Поправен е бъг, при купчините coinduction не се инициализират при използване на

Какво ново във версия 2.42.4:

• Тази версия включва компилатор, по време на работа, както и мулти- вдявате оптимизации представяне, подобрява съставител съобщения за грешки за / 1 директивите синхронизирано / 1 и динамични, добавя поддръжка за запазване на информация, обхвата на оператор и извеждане на тази информация на автоматично генериран XML документиране файлове, добавя нови комунални предикати на logtalk обекта, подобрява няколко програмни примери, включва временно решение за SWI-Prolog деинсталатор бъг в Windows, и разполага с актуализации за преносимост на Чу-Prolog, SICStus Prolog, SWI-Prolog, XSB и Yap.

Какво ново във версия 2.42.3:

• Тази версия добавя поддръжка за свикване динамични предикати в контекст на & quot; това & quot; отвътре категории, добавя поддръжка за предварително компилиран клауза глави, включва поправки на грешки и подобрения на вграден дебъгер, включва подобрени библиотеки и примери, добавя поддръжка за indexicals при използване на SICStus Prolog CLP (FD) библиотеката, добавя експериментален пример за използване приписвани променливи в рамките на обекти и категории, и разполага актуализации преносимост за Eclipse, GNU Prolog, SICStus Prolog, и СВИ-Prolog.

Какво ново във версия 2.42.2:

• Тази версия подобрява съставянето на повиквания към модула предикати , подобрява проверка на мета-аргументи в мета-предикатни разговори, подобрява подкрепа за ламбда изрази, включва оптимизиране компилатор за разговори към библиотечните мета-предикати, добавя нови библиотеки за дърводобив събития, работа с времеви интервал отношения, и с помощта на целочислени броячи, подобрява съществуващите примери и библиотеки, добавя поддръжка за използване на SyntaxHighlighter пакет JavaScript базиран на, и разполага актуализации преносимост за GNU Prolog, Чу-Prolog, SICStus Prolog, SWI-Prolog, и XSB.

Какво ново във версия 2.42.1:

• Тази версия добавя поддръжка за нов мета-предикат режим показатели, които дават възможност подкрепа за по-Prolog имуществена вграден мета-предикати.
• Support е добавен за откриване и докладване липсва динамични / 1 и допира / 1 директиви.
• бе добавено ново мъх флаг.
• Две мета-предикатни компилация грешки бяха поправени.
• Някои от примерите са актуализирани.
• Преносимост актуализации са направени за B-Prolog, SICStus Prolog, SWI-Prolog, XSB и Yap.