Logtalk

Prolog е общо предназначение език логика програмиране, който бе освободен през 1972 г., с много малко актуализации, тъй като.

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

На всичко отгоре на това, добавете по-лесно инсталиране процес и Prolog актуализации компилатор за съвместимост.

Това прави Logtalk по-добър, по-подходяща алтернатива на Prolog в съвременния ден AI и компютърна лингвистика сценарии, а много по-мощен език мулти-парадигма, подходящ за възникнали от събития и високо ниво многонишкова програмиране.

В момента Logtalk синтаксис разширява стандартния синтаксис Prolog и можете да стартирате Logtalk на следните Prolog компилатори:

B-Prolog

CxProlog

Eclipse

GNU Prolog

Lean Prolog

Чу-Prolog

SICStus Prolog

SWI Prolog

XSB

Yap

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

• Подобрено:
• Промени в краткосрочни тагове, използвани при писане компилиран код, за да спомогне за намаляване на размера на генерираните междинни Prolog файлове, които използват тези тагове, за да решат кога да украсят събрани условия с данни за местоположението на източника (в момента, само SWI-Prolog се възползва от данни за местоположението).
• FIXED:
• A файл може да има повече от един родител файл.

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

• Подобрено:
• Промени в краткосрочни тагове, използвани при писане компилиран код, за да спомогне за намаляване на размера на генерираните междинни Prolog файлове, които използват тези тагове, за да решат кога да украсят събрани условия с данни за местоположението на източника (в момента, само SWI-Prolog се възползва от данни за местоположението).
• FIXED:
• A файл може да има повече от един родител файл.

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

• Подобрено:
• Промени в краткосрочни тагове, използвани при писане компилиран код, за да спомогне за намаляване на размера на генерираните междинни Prolog файлове, които използват тези тагове, за да решат кога да украсят събрани условия с данни за местоположението на източника (в момента, само SWI-Prolog се възползва от данни за местоположението).
• FIXED:
• A файл може да има повече от един родител файл.

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

• Подобрено:
• Промени в краткосрочни тагове, използвани при писане компилиран код, за да спомогне за намаляване на размера на генерираните междинни Prolog файлове, които използват тези тагове, за да решат кога да украсят събрани условия с данни за местоположението на източника (в момента, само SWI-Prolog се възползва от данни за местоположението).
• FIXED:
• A файл може да има повече от един родител файл.

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

• Подобрено:
• Промени в краткосрочни тагове, използвани при писане компилиран код, за да спомогне за намаляване на размера на генерираните междинни Prolog файлове, които използват тези тагове, за да решат кога да украсят събрани условия с данни за местоположението на източника (в момента, само SWI-Prolog се възползва от данни за местоположението).
• FIXED:
• A файл може да има повече от един родител файл.

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

• Подобрено:
• Промени в краткосрочни тагове, използвани при писане компилиран код, за да спомогне за намаляване на размера на генерираните междинни Prolog файлове, които използват тези тагове, за да решат кога да украсят събрани условия с данни за местоположението на източника (в момента, само SWI-Prolog се възползва от данни за местоположението).
• FIXED:
• A файл може да има повече от един родител файл.

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

• Поправен е бъг в съставянето на meta_non_terminal / 1 директива, където само първата мета-аргумент ще бъде правилно обработен.
• Актуализация на Eclipse конфигурационния файл, за да се открие, когато работи на Windows 64 бита системи и да се игнорира без първоначални и не-оператор на износа, когато предварително обработка ИЪ / 1 директиви.
• Обновено рамките на единица тест, за да отпечатате по-информативни съобщения за неуспешни единица тестове.
• Добавен предикат раздели / 4 (за разделяне на списък в подсписъци с дадена дължина) на & quot; listp & quot ;, & quot; списък & quot ;, и & quot; difflist & quot; библиотечни единици.
• Актуализация на & quot; НК & quot; Например с определение за обвивка / 2 предиката за CxProlog.
• променили имената на обектите в & quot; ИН & quot; Например, за да се избегне конфликт на името, когато работи тестове например единица.
• Поправен е бъг в инсталатора Windows, който попречи откриване на Yap 64 бита версии. Благодарение на Степан Ipatov описва грешката.

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

• променя Тази версия семантиката на допълване категории, което позволява използването му да закърпи съществуващ обект код, определя две грешки в обработката на мета-разговори, позволява открити списъци на терминали в тялото на правила DCG, добавя два нови примери, и подобрява подкрепа за Vim текст редактор и за темпераментни ctags.

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

• Поправен е бъг в Logtalk компилатор изпълнение манипулатор, където той не успя да декомпилира вътрешните идентификатори предприятието, когато хвърлят лице съществуване изключения.
• Актуализация на Lean Prolog конфигурационния файл, добавяне на индекс / 1 директиви за някои от най-динамичните предикати, използвани от таблиците вътрешни Logtalk по време на работа.
• Обновено интеграция файлове 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.
• Актуализация на библиотеката & quot; all_loader.lgt & quot; товарач файл, за да се зареди & quot; meta_compiler_loader.lgt & quot; товарач файл.

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

• Оптимизиран обработването на декларации на оператора при съставянето на изходни файлове и динамично създаване на нови структури.
• Актуализация на Logtalk компилатора да използвате & quot; модулите & quot; компилатор флаг, когато се изпитват за подкрепа Prolog модул, като по този начин се избегне въпросите на съставянето с гърба в края Prolog компилатори, които не поддържат система модул, но все още се определят (:). / 2 като вграден контролен конструкт или предикат
• Removed подкрепа за & quot; startup_message & quot; компилатор флаг & quot; флагове (компактни) & quot; и & quot; флагове (многословни) & quot; стойности, заменени от една единствена стойност, & quot; знамена & quot ;, което съответства на старото & quot; флагове (компактни) & quot; стойност.
• Поправен е бъг при използване на оп 3 директиви / с create_protocol / 3, create_object / 4, и create_category / 4 вградени предикати на където декларациите на местния оператор ще бъдат видими отвън новите субекти.
• Поправен е бъг, при създаването на нов динамичен лице по време на изпълнение ще се определи вече не се използва счетоводство динамичен предикат, че няма да бъдат премахнати, когато предприятието е премахната.
• поправен компилатор бъг, при който един & quot; супер & quot; обадя от рамките на един обект, който само себе си instantiates и не са специализирани всеки обект ще хвърли изключение вместо неуспешен.
• Актуализация на & quot; показатели & quot; Например, за да се защитят срещу аритметични изключения, когато се изчислява общият брой на обаждания в секунда за всеки тест. Намаляване на броя на референтните тестови повторения, когато работи единица тестове, за да се избегнат продължителните времена изчислителни с бавно обратно в края на Prolog компилатори.

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

• Промяна на компилатора да се вземе предвид употребите / 2 директива при съставянето на разговори с вградени методи на базата данни. Тази промяна се простира семантиката на употреба / 2 директивата и позволява по-лесно преминаване от обикновени приложения Prolog да Logtalk.
• Добавена експериментална поддръжка за използване на предикатното шаблон като аргумент да coinductive / 1 директивата за. Този шаблон позволява на спецификацията на които аргументи са смислени за coinductive успех. Въз основа на подобна функционалност намерен на DRA мета-интерпретатор Feliks Kluzniak му.
• Подобрена поддръжка за отстраняване на грешки coinductive предикати, когато се използва Logtalk вграден дебъгер.
• Премахнато coinduction подкрепа за CxProlog. Текущата версия на този компилатор липсва мека нарязан вграден предикат или контрол конструкт, който сега се изисква от изпълнението на експерименталния coinduction.
• вдигна дългогодишна давност, което е попречило на определението за употреба на обвиващи предикати за bagof / 3 и setof / 3 вградени методи, когато аргументът на цел могат да използват ^ / 2 екзистенциална квантор.
• Добавена е поддръжка за & quot; ^ & quot; мета-предикат мета-аргумент режим спецификатор предложено от Jan Wielemaker и намери на SWI-Prolog 11.05.25. Този режим спецификатор е полезна при определяне опаковки за / 3 и setof / 3 вградени в методите за bagof когато аргумента цел могат да използват ^ / 2 екзистенциална квантор.
• Добавено & quot; prolog_compiler & quot; и & quot; prolog_loader & quot; съставител знамена, които позволяват преминаващи опции за обратно края Пролог компилатор вградени предикати, които съставят на диск и се зареждат по-(компилиран) Пролог флаг. Стойността по подразбиране за двете знамена е празен списък.
• Поправен е бъг при съставянето на повиквания към 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 отхвърлени методи.
• Removed подкрепа за дълго отхвърлена Logtalk metapredicate / 1 директивата.
• Поправен е бъг производителност при кеширане разговори към категорията предикати където кеширани записи могат да бъдат по-конкретни, отколкото е необходимо, когато се работи с параметрични категории.
• Подобрено кеширане на & quot; супер & quot; призовава в рамките на прототипи. Преди това всички кеширани записи ще бъдат специализирани от стойността на & quot; самостоятелно & quot; с цел правилно да се справят с най-специалните случаи, когато даден обект instantiates, така и специализирана други обекти.
• Актуализация на Logtalk компилатора да активирате всички декларации на оператори, намерени на директиви предикатните обхват по време на съставянето на субектите, които съдържат директивите.
• Подобряване на ефективността на coinductive предикати при използване на гърба в края Prolog компилатори като SICStus Prolog, които не осигуряват контрол конструкция мека нарязан но осигуряват меко разреза вграден в мета-предикат (ако / 3).
• Поправен е бъг, при фалшив доклад на предупреждения компилация / товарене може да бъде отпечатан, когато даден файл източник е съставен / зареден с компилатор флаг и на quot; доклад & quot; изключен.
• добавя & quot; streamvars & quot; библиотека обект, получен от съществуващата & quot; assignvars & quot; библиотека категория, с участието на подкрепа за добавяне и извличане на термини (които могат да бъдат променливи) от & quot; поток & quot; променлива.
• Актуализация на & quot; coinduction & quot; Например, като се възползват от засилената coinductive / 1 директивата и разширяване на броя на отделните примери, които могат да бъдат управлявани с помощта SICStus Prolog. Добавен модел проверка например, използвайки coinduction, coroutining, и ограничения.
• Актуализация на & quot; metapredicates & quot; Например с примерен код, илюстриращ как да се определят опаковки за / 3 и setof / 3 вградени в методите за bagof когато мета-аргумент може да съдържа екзистенциално квалифицирани променливи.
• Актуализация на & quot; НК & quot; Например, за коригиране на предикатните определения за няколко гърба в края Prolog компилатори и добавяне на някои основни тестове за единица.
• Актуализация на & quot; кодировки & quot; Например с ограничена подкрепа за Lean Prolog.
• добавени липсващи записи за meta_non_terminal / 1 директива и за поканата // N не-терминал на & quot; помогнат & quot; Например.
• Добавена на анализатор за PDDL 3.0 файлове, внесена от Robert Sasak.
• Добавено код сгъване подкрепа на текстовия редактор на SubEthaEdit. Добавен код сгъване подкрепа за условията компилация блокове на текстови редактори Кейт, Vim, и TextMate.
• Обновено скриптове за интеграция, за да се зареди пътеки файл библиотека, преди да заредите Logtalk компилатор / Runtime. Тази промяна има за цел да опрости товарене на библиотечните и примерни файлове от файловете с настройки. В допълнение, също търсят директория Logtalk инсталация в $ HOME / акция, когато променливата на обкръжението LOGTALKHOME не е определена.
• Актуализация на инсталатора на Windows, за да се подкрепи Lean Prolog и откриване на Yap 64 бита версии.

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

• Добавена експериментална поддръжка за Lean Prolog
• Премахнато ограничение на Logtalk компилатор, че принуден допира / 1 и динамични / 1 директиви да предхожда разговори с декларираните предикати.
• Подобряване на доклада за Logtalk съставител на правописни разговори към не-терминали в граматични правила.
• Разрешаване на използването на:. Контролът / 1 изгради върху тялото на граматични правила
• Когато отстраняване на грешки съобщенията, посочени в употреби 2 директиви /, съобщението се сега отпечатан имплицитно квалифицирано като в изходния код, написан от потребителя.
• Променена вътрешните предикати, използвани при изпълнението на вградения в многонишкова предикати, за да се улесни интеграцията с инструменти за отстраняване на грешки на високо ниво, които изискват декомпилацията на генерираните Prolog код.
• Поправен е бъг в библиотека подкрепа за единица тестове, & quot;. Lgtunit & quot ;, където тестване за изключения ще приемат всеки термин е изключение, като съответстващи на спецификациите за единица изпитване
• Актуализация на & quot; НК & quot; Например с корекции на грешки и подобрения за Eclipse, внесени от Joachim Schimpf, с бъг, за изпълнението на SWI-Prolog на expand_path / 2 предикат (в резултат на последните промени в SWI-Пролог absolute_file_name / 3 вграден предикат), и с определение за command_line_arguments / 1 предиката за B-Prolog.
• Актуализация на & quot; coinduction & quot; Например, добавянето на още няколко отделни примери.
• Актуализация на & quot; xml_parser & quot; принос, за да се заобиколят преносимост въпроси с GNU Prolog.
• Правилно бъг в някои шел скриптове, където & quot; # / хамбар / Баш & quot; се използва вместо & quot;! # / хамбар / Баш & quot ;. Благодарение на Йоргос Адамопулос описва грешката.
• Актуализация на Inno Setup GUI Windows инсталационния скрипт, за да се позволи пълно инсталиране от не-администраторски потребители.
• Добавен синтактично оцветяване подкрепа за директивата за ISO Prolog включва / 1 за всички поддържани текстови редактори и синтактични маркери.
• поправен някои бъгове в раздела задейства за фрагменти Gedit Logtalk че предотвратени тяхното използване.
• Променена обратно към използване XEP вместо FOP при генериране на PDF версии на ръководствата за потребителя и референтни като FOP отрязъци, съдържанието на някои от страниците.

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

• Добавена entity_prefix / 2 предикат и два комплекта комунални предикати, decompile_predicate_heads / 2-4 и decompile_predicate_indicators / 2-4, с & quot; logtalk & quot; вграден обект. Маркирано на decompile_predicate_head / 4 и decompile_predicate_indicator / 4 като непрепоръчителна.
• Добавена е поддръжка за запазване на информация, възможност за операторите обявен използване директиви обхват по време на компилация. Добавена информация за лице, обявено за оператори на XML документиране на файлове. Обновено текстови, PDF, и (X) скриптове HTML преобразуване, за да отпечатате информация оператор.
• Приложна няколко оптимизации ниско ниво на Logtalk компилатор / Runtime.
• Преместен вътрешните предикати, които изграждат и достъп до контекста на изпълнение предикат от компилатора да конфигурационни файлове Prolog с цел подпомагане на фина настройка на работата, която е Пролог компилатор зависим.
• Обновено изпълнението на резба / 1 многонишкова вграден предикат, за да използвате малка оптимизация на производителността на базата на term_variables / 2 вградени предикатните предложени от Тимон Van Overveldt. Тази оптимизация има за цел да се намали ненужната копие и унифициране на термини. В допълнение, замества използването на setup_call_cleanup / 3 вграден предикат с улова / 3 вграден предикат на чрез опростяване на работа на двете главен и подчинен теми, които също подобрява производителността.
• Поправен е бъг в изпълнението на резба / 1 многонишкова вграден предикат където неизпълнение от страна на потребителя да определи независими цели, когато се опитват да използват независими и-паралелизъм ще доведе до зомби теми.
• Повече информация за изключение условия, когато се опитват да обявят синхронизирано предикат като динамичен или динамичната предикат като синхронизирано.
• Актуализация на конфигурационния файл XSB, за да подкрепи съставянето на модули като обекти. Добавен определение за липсващия setup_call_catcher_cleanup / 4 вграден предикат. XSB 3.3 (или по-нова версия), сега се изисква за съвместимост с Logtalk.
• Обновено конфигурационния файл на SWI-Prolog, за да се осигури ограничена подкрепа за / 1 имуществената директивата за arithmetic_function (аритметични функции се съставят като глобален вместо като местен до обектите или категориите тях определящи).
• Обновено Yap конфигурационния файл, за да се пренебрегне style_check / 1 директивата и да се интерпретира yap_flag / директивата 2 като set_prolog_flag / 2 директива.
• Променена подразбиране XSL-FO процесор (използван за генериране на PDF версии на ръководствата за потребителя и справка) от XEP да конте.
• Актуализация на & quot; xml_parser & quot; принос, за да се заобиколят преносимост въпроси с Чу-Prolog, SICStus Prolog, и XSB.
• Актуализация на & quot; кодировки & quot; Например, за да се гарантира, че не съществува празно пространство преди / 1 директивата за кодиране.
• Актуализация на & quot; attvars & quot; Например, за да се подкрепи B-Prolog и XSB. Също така добавя поддръжка за използване на приписвани променливи в рамките Logtalk параметрични обекти и параметрични категории. Благодарение на Jan Wielemaker, VAtor Santos Коста, и Барт Demoen за обратна връзка и изпълнението предложения.
• Актуализация на & quot; профилиращи & quot; Например с предварителна подкрепа за промените в профилиране изпълнение в SICStus Prolog 4.2 версия.
• Актуализация на & quot; разширяването & quot; Например с по-примерен код за това как да се съчетаят Срок на и дефиниции гол-разширителни от различни куки обекти.
• Актуализация на & quot; coinduction & quot; Например, добавяйки експериментално keysort / 2 coinductive предикат. Благодарение на Jan Burse за предложението.
• Актуализация на & quot; Так & quot; многонишкова например, където липсва кройка ще доведе до бързо изчерпване на местната стека при използване SWI-Prolog се дължи на създаването на много голям брой ненужни избор точки.
• Актуализация на & quot; mtbatch & quot; многонишкова Например, за да се осигури разширена сравнителен анализ на & quot; Так & quot; Например.
• Актуализация на MacPorts portfile и скрипт, който го актуализира, за да се премахне изчисляване на контролната сума на MD5, които да се преустанови по MacPorts.
• Актуализация на Inno Setup GUI Windows инсталационния скрипт, за да се заобиколят бъг на монтажници на SWI-Prolog Windows където процедурата за деинсталиране не успяват да изтриете ключовете за SWI-Prolog от регистъра на Windows.

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

• Разрешаване на динамични предикати, декларирани в категория да бъдат наречени в & quot; това & quot; от рамките на категорията. В предишните версии, тези разговори ще доведат до грешка по време на компилиране, принуждавайки тези предикати да се наричат ​​в & quot; самостоятелно & quot; (С помощта на :: / 1 съобщението изпращане контрол конструкт).
• Добавено Logtalk компилатор подкрепа за предварително компилиран клауза глави (с помощта на {} / 1 контрол конструкт). Тази функция е най-вече полезно, когато се използва механизмът на термина-разширение.
• Поправен е бъг в кода, който опростява клаузите за предикатните генерирани от съставянето на граматични правила. Кодът ще контур, когато правило граматика съдържа мета-променлива, която Logtalk компилатора трябва (но в момента не) доклад като незаконно (конструкт за повикване / 1 контрол трябва да се използва вместо по този случай).
• Опростена съставянето на разговори в контекста на псевдо-обект & quot; потребителското & quot;.
• Добавен дебъгер команда & quot; р & quot; да Logtalk вграден дебъгер. Тази команда отпечатва текущата цел използване на предиката печат / 1, когато са налични. Преименуван на дебъгер командата & quot; Q & quot; да & quot; Q & quot ;. Поправен е бъг, където дебъгер командата & quot; w & quot; да не бъде призната. Промени дебъгер командата & quot; г & quot; да цитирам условия, когато това е необходимо.
• Добавен частично изпълнение на ISO Prolog predicate_property / 2 предиката да конфигурационния файл на Eclipse.
• Обновено конфигурационния файл на SWI-Prolog, за да се отстрани погрешното декларацията на библиотеката мета-предикати dde_register_service / 2, време / 1, и когато / 2 като вграден в мета-предикати.
• Приложни бъг на & quot; флаговете & quot; принос, предоставен от неговия автор, Theofrastos Mantadelis. Заобиколно решение за издаване на съвместимост с GNU Prolog.
• Добавена memberchk / 2 предикат в библиотеката & quot; setp & quot; протокол и & quot; зададете & quot; обект. Добавен предикати is_control / 1, is_newline / 1, и is_end_of_line / 1 до библиотеката & quot; characterp & quot; и & quot; характер & quot; образувания.
• Добавена експериментална пример за използване на приписвани променливи в рамките Logtalk обекти и категории. В момента, изисква използването на Yap или SWI-Prolog като бек-енд Пролог компилатор.
• Добавена е поддръжка за indexicals на & quot; ограничения / sicstus & quot; Например.
• разширяване на & quot; делегати & quot; Например с изпълнението на проба от един възлага задачи с помощта на параметричен обект.
• разширяване на & quot; dynpred & quot; Например, за да се покаже как да се определи категорията предикати, които боравят с динамични предикати в контекста на & quot; това & quot; и в контекста на & quot; самостоятелно & quot;.
• Добавена wall_time / 1 предикат на & quot; НК & quot; Например.
• Актуализация на оцветяване на синтаксиса тестови файлове, добавяне липсва истински / 0 и не успяват / 0 контролни конструкции.

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

• Актуализация на Logtalk компилатор, за да позволи проверка за модул предикатните свойства, без да изисква внос на предикатите в & quot; потребителското & quot; (Имайте предвид обаче, че модулът трябва все пак да се зареди преди съставянето на изходни файлове, призоваващи за модулите предикати).
• Актуализация на Logtalk компилатор, за да се провери по време на компилацията инстанция доводи за затваряне на повикване / 2-N цели за общи програмни грешки.
• Актуализация на Logtalk компилатор, за да се генерира предупреждения за ламбда изрази с променливи, които не са декларирани или като свободни променливи или ламбда параметри или с променливи, които са декларирани като двете свободни променливи и ламбда параметри. Благодарение на Jan Burse за което предполага тези коректност проверки.
• Актуализация на Logtalk Runtime, за да се подкрепи използването на & # x3c; & # x3c; / 2 контрол изгради в затваряне мета-аргументи на мета-предикати
.
• Добавена е поддръжка за съставяне Free / Гол ламбда експресивни разговори (чрез автоматично генериране на допълнителен предикат, когато е възможно).
• Добавена compile_aux_clauses / 1 публичен метод, основан на предикат със същото име в SWI-Prolog, с вграден обект & quot; logtalk & quot ;. Този метод обикновено се нарича от goal_expansion / 2 куки, за да се съберат допълнителни клаузи, генерирани за подкрепа на разширена гол.
• Добавена на мета-предикат игнорира / 1, изпълняван от някои Prolog компилатори като вграден предикат, като вграден метод Logtalk.
• Обновено конфигурационния файл на SWI-Prolog, за да се предотврати автоматичното зареждане на модула библиотеки когато заявки предикатните имоти от Logtalk.
• Актуализация на Чу-Пролог, SICStus Пролог, и XSB конфигурационни файлове, за да се предоставят на разположение на предиката term_variables / 2 като ISO вграден предикат.
• Обновено интеграция скриптове Чу-Prolog, за да удвои стойността на Размер на стек за съставянето на Logtalk компилатор / продължителност на работа, решаване на стартово катастрофа.
• Възстановен на MacOS X команден файл за GNU Prolog (преместен нагоре от & quot; скриптове / MacOSX / command_files / неподдържан & quot; папка).
• Добавено предикати findall_member / 4-5 до обекта на библиотека & quot; мета & quot; (Въз основа на проект на предложение Prolog библиотека Ричард О'Кийф е). Премахнато декларация и дефиниция на предикатите подлежащо на поискване изплащане / 1 и игнорира / 1 от библиотечни единици & quot; metap & quot; и & quot; мета & quot; (Изискуем / 1 е вграден предикат на всички поддържани Prolog компилатори; игнорира / 1 сега е Logtalk вграден метод)
.
• Добавена библиотека обект, & quot; meta_compiler & quot ;, че може да се използва като обект кука за разширяване на разговори към мета-предикати, определени в обекта библиотека & quot; мета & quot; с цел избягване на режийните разноски на мета-кол. На тези случаи, когато мета-предикат повикване не могат да бъдат оптимизирани, определението за неизпълнение на & quot; мета & quot; се използва обект. Използване на контролните структури като мета-аргументи не е (все още) поддържа. Работа в прогрес.
• Добавен протокол, & quot; loggingp & quot ;, и категория и обектни приложения, & quot; сеч & quot; и & quot;. дървар & quot ;, за обявяване и определяне на основната функционалност за влизане събития до файлове в библиотеката
• Добавен протокол, & quot; intervalp & quot ;, и обект, & quot; интервал & quot ;, за обявяване и определяне на основните отношения времеви интервал до библиотеката (въз основа на работата на James F. Алън Interval алгебра)
.
• Добавена категория прилагане на име целочислени броячи, & quot;. Броячи & quot ;, в библиотеката
• Добавени предикати proper_prefix / 2 и proper_suffix / 2 до библиотечни субекти и на quot; listp & quot ;, & quot; списък & quot ;, и & quot; difflist & quot;.
• Добавен предикат транспонират / 2 до обекта на библиотека & quot; двойки & quot;.
• добавени две псевдо-примери за тестови цели, & quot; lambdas_compiled & quot; и & quot; metapredicates_compiled & quot ;, които се възползват от новата библиотека обект
• & quot; meta_compiler & quot;.
• Актуализация на & quot; разширяването & quot; Например, за да илюстрират как да се определят и съчетават кука обекти.
• Добавена е поддръжка за използване на пакета за SyntaxHighlighter (версия 3.0.83 или по-късно) от Alex Gorbatchev с Logtalk изходния код.
• Добавен липсващата синтактично оцветяване на друго / 0 условно директива компилация с подкрепата на GNU Source-връхната текстмаркер.
• Добавена бележка на подкрепата на Logtalk редактиране на текст на разположение за свободното MacOS X Kod текстов редактор.
• Добавен синтактично оцветяване подкрепа за новите игнорира / 1 вграден метод за всички поддържани текстови редактори и синтактични маркери.

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

• Добавена е поддръжка за съставител на Logtalk за откриване и докладване липсва динамични директиви / 1 предикатните / 1 и допира.
• Добавена нова кърпа флаг, & quot; missing_directives & quot ;, с стойност по подразбиране на & quot; предупреждение & quot ;, за всички конфигурационни файлове. Този флаг позволява печат на предупреждения компилатор за липсващи динамични / 1, който не се допира / 1, и multifile / 1 предикатните директиви.
• Добавена е поддръжка за нови показатели режим мета-предикат шаблон: (/) за индикатор предикат, [/] за списък от основни показатели, и [0] за списък от цели
.
• Поправен е бъг в компилатора на Logtalk при проверка на мета-предикатни клауза глави за грешки, когато & quot; :: & quot; Индикатор за режим на мета-аргумент беше още се тълкува като & quot; 0 & quot;.
• Поправен е бъг в обработката на затваряне (в мета-разговори), които се използват за изграждане на повиквания за контрол на конструкции или вградени предикати, които биха могли да доведат до обажда някои мета-аргументи в грешната контекста. Благодарение на Улрих Neumerkel за илюстриращ пример в пощенския списък SWI-Prolog.
• Актуализация на Logtalk компилатор, за да се избегнат предупреждения печат за липсващи препратки към & quot; разширяване на & quot; и & quot; мониторинг & quot; вградени протоколи при съставянето на модули като обекти.
• Възвръщане на промените в версия 2.39.2, които позволиха на псевдо-обект & quot; потребителят & quot; на практика съдържа определението за всички Prolog вградени предикати. Това може да доведе до различни резултати в зависимост от гърба в края Пролог компилатор, специално, когато се обаждате мета-предикати в контекста на & quot; потребителското & quot;.
• Поправен е бъг в SWI-Пролог & quot; swihooks.lgt & quot; файл, който се превърна в фалшив съобщение за грешка за невалиден Logtalk флаг, когато се консултирате с Prolog файл, когато е налице Logtalk източник файл със същото име в същата директория.
• Добавен липсващата подкрепа за собственически вграден в мета-предикати на B-Пролог, SICStus Пролог, SWI-Пролог, XSB, и Yap конфигурационни файлове.
• Актуализация на SICStus Пролог, SWI-Пролог, и Yap конфигурационни файлове, за да се преодолеят мета-предикат шаблони за консултира / 1 и load_files / 2 вградени предикати.
• Добавена на изпълнение на map_reduce / 5 мета-предикат към предмета на библиотека & quot; мета & quot;.
• Добавена на изпълнението на command_line_arguments / 1 предикат на & quot; НК & quot; Например.
• Актуализация на & quot; lambdas & quot; и & quot; metapredicates & quot; примери, които илюстрират как да се изчисли Числата на Фибоначи, използвайки пъти левия мета-предикат. Обновено на & quot; metapredicates & quot; Например с един пример използването на map_reduce / 5 мета-предикат.
• Актуализация на & quot; problog & quot; Например, добавянето на предварителна подкрепа за новия синтаксис анотирани дизюнкции.
• Добавена & quot; магия & quot; елемент за Logtalk мим-тип файл за freedesktop.org споделена мим-инфо базата данни.

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

• Добавена на изпълнение на устойчиви знамена обект
• Добавен нов чифт вградени предикати, conforms_to_protocol / 2-3, прилагането на преходен затваряне на връзка изпълнението протокол.
• Добавена експериментална директива, анотация / 1, за подпомагане на интеграцията Logtalk с други езици като ProbLog и CHR.