Logtalk

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

Особенности :.

• Разделение между интерфейсом и реализации:
• Предикатные директивы (декларации) может содержаться внутри протоколов (интерфейсов), которые могут быть реализованы с помощью любого объекта.

<класс Li = ""> bbli параметрические объекты:
Имена
• объект может быть соединение члены, содержащие свободные переменные, которые могут быть использованы для параметризации объектов предикаты.

<класс Li = "bbli"> Поддержка для обеих систем на базе классов и на базе прототипов:
• Вы можете иметь, в том же приложении, на основе классов иерархии (с конкретизации и специализации отношений) и иерархии прототипов на основе (с расширением отношений).

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


• Частный, защищены, и открытое наследование:
• Logtalk поддерживает частные, защищены, и открытое наследование в аналогично C. Кроме того, любой субъект отношение можно квалифицировать с помощью ключевого слова размах.

<класс Li = ""> bbli Частные, защищенные и общественности объект предикаты:
• Задайте область вашего объекта предикатов, чтобы соответствовать ваш дизайн протокола, и пусть система выполнения в жизнь свои решения.


• Статические и динамические объекты:
• Объекты могут быть статическими или динамическими. Статические объекты определены в исходных файлов, которые составляются и загружалась в так же, как прологов. Динамический объект может быть либо определены в исходных файлах или созданы во время выполнения.


• bbli Статическая и динамическая объект предикаты:
• Любая статический объект может содержать как статические, так и динамические предикаты.

<класс Li = "bbli"> Предварительно процессор, поэтому мы можем использовать стандартный синтаксис Пролога:
• Logtalk использует стандартный синтаксис Пролога с добавлением нескольких операторов и директив для гладкой кривой обучения.


• Событийный программирование:
• Предикаты могут быть неявно вызывается при Шпионивший событие, позволяющее программных решений, которые минимизируют объект связи. Кроме того, события обеспечивают поддержку поведенческих отражения.


• компонентного программирования на основе:
• Предикаты могут быть инкапсулированы внутри категорий, которые могут быть практически импортируемых любого объекта, без какого-либо дублирования кода и независимо от иерархии объектов. Таким образом, объекты могут быть определены через составе группировки, которые действуют как мелкозернистый единиц код повторного использования.


• Поддержка нескольких наследования:
• Logtalk поддерживает мульти-наследование как протокол и реализации. Объект может реализовать несколько протоколов и расширения, специализируются, или экземпляр несколько объектов. Конфликты нескольких наследования решаются неявно алгоритмов Logtalk подстановки или явно с помощью предикатных директивы.


• Хорошая производительность:
• Logtalk код скомпилирован с использованием тех же технику, что вы используете, чтобы написать эффективный код на Прологе. Кроме того, метод поиска кэшируются машиной выполнения Logtalk, что значительно улучшает производительность. Результаты тестов для некоторых компиляторов Пролога можно ознакомиться здесь.


• Тесная интеграция с Пролога стандарту ISO:
• Logtalk предназначен для плавной интеграции с любым компилятором Prolog, что соответствует или внимательно следит прологе Стандарт ISO.


• Совместимость с большинством компиляторов Пролога:
• Logtalk взаимодействует с конкретного компилятора Пролога через минимальным конфигурационный файл, что совместимо с практически на любом современном компилятора.


• Автоматическая генерация файлов документации XML:
• Logtalk автоматически генерирует файл документации в формате XML для каждого скомпилированный объект, протокол, или категории. Система включает в себя все необходимое XSL (T) файлы и скрипты для преобразования файлов в документировании (X) HTML и PDF.
• Logtalk работает практически на любой компьютер с помощью компилятора Пролога (основной среды разработки является G4 Apple PowerBook работает MacOS X). Интерфейс между Logtalk и конкретного компилятора Пролога осуществляется с помощью конфигурационного файла.
• Этот файл содержит некоторые конкретные Logtalk предикаты и реализации для стандарта ISO Пролога предикаты не доступны в компилятор Пролога.

<класс Li = "bbli"> При написании Logtalk я попытался следовать стандарту ISO Пролог, когда это возможно. Возможности, необходимые Logtalk, которые не определены в части I стандарта ISO являются:

• доступ к основным свойствам (динамические, статические, built_in):
• При условии, что ваш любимый Пролог имеет эти возможности, упомянутые выше, что делает файл конфигурации очень просто. Пакет включает в себя Logtalk уже конфигурационные файлы для наиболее распространенных компиляторов Пролога. Для достижения оптимальной производительности, Logtalk требует, что компилятор Пролог поддерживает первый аргумент индексации и для статического и динамического кода.

<класс Li = "bbli"> Logtalk Developement и тестирование в настоящее время осуществляется с использованием следующих компиляторов Пролога (в алфавитном порядке):
• GNU Prolog 1.2.18
• SWI Prolog 5.4.7
• ПЕА 4.5.7
• Из-за этого, это, вероятно, ваш лучший выбор для работы Logtalk (при условии, что вы можете использовать один из этих компиляторов).

<класс Li = "bbli"> Кроме того, Logtalk работает практически без изменений с помощью следующих компиляторов Пролога (в алфавитном порядке):
• БАС Пролог 3.1
• Amzi! Пролог 6.22 ~ 7.x
• BinProlog 8.x ~ 10.x
• B-Пролог 4.0, 5.0, 6.x
• CIAO Пролог 1.10p5
• Eclipse 5.5 ~ 5.8
• IF / Пролог 5.x
• JIProlog 3.0.1-2
• К-Пролог 5.1.2a
• МПУ MacProlog32 1,25
• МПУ WinProlog32 4.0x
• MasterProlog 4.1
• Открыть Пролог 1.1b10
• PrologII 4.5
• QU-Пролог 6.7
• Квинт Пролог 3.3 ~ 3.5
• SICStus Пролог 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, когда изначально поддерживается компилятором Prolog фоновым, которые будут использоваться в теле грамматических правил (после замечания Даниэль Диас во время обсуждения GNU Поддержка Пролог для управления конструкции мягкой вырезом).
• Исправлена ​​ошибка компилятора Logtalk когда и Quot; source_data & Quot; Флаг на с серверными Пролога компиляторов, где не представляется возможным, чтобы получить позицию срок чтения.
• Исправлена ​​ошибка в компиляции meta_non_terminal / 1 директивы, где только первый мета-аргумент будет правильно обработанной.
• Обновлено конфигурационный файл Eclipse для обнаружения при работе на Windows 64 бит систем и игнорировать не-предикат и не оператор экспорта при предварительной обработки LIB / 1 директивы.
• Обновлено рамки модульного тестирования для печати более информативные сообщения для неудачных юнит-тестов.
• Добавлена ​​предикат разделить / 4 (для разделения списка в подсписков при заданной длине) на & Quot; listp & Quot ;, & Quot; список и Quot ;, & Quot и, difflist & Quot; библиотека лица.
• Обновлены & Quot; CC & Quot; пример с определением для раковины / 2 предикат для CxProlog.
• Изменены названия объектов в & Quot; ми и Quot; Пример, чтобы избежать конфликта имен при работе на примере модульных тестов.
• Исправлена ​​ошибка в установщик Windows, что помешало обнаружение ПЕА 64 бит версии. Благодаря Степана Ипатов для доклада об ошибке.
• Исправлена ​​ошибка в установщик Windows, что помешало пользователям настраивать каталог установки. Благодаря Даниэль Монис для отчета об ошибке и Гэвин Ламберт для диагностики ошибки.
• Обновленный сценарий установщика Windows для улучшения обнаружения XSB и по умолчанию для установки только те файлы, для каждого пользователя при запуске пользователем без прав администратора на компьютере, где уже установлен Logtalk.
• Добавлена ​​базовая поддержка латекса и Quot; списки & Quot; пакет. Добавлены примечания на & Quot; чеканились и Quot; и & Quot; texmates и Quot; LaTeX пакетов.
• Добавлены примечания по текстовом редакторе Textastic Ipad.
• Добавлена ​​основную окраску синтаксиса и свертывание кода поддержку редактора UltraEdit текста.
• Обновлены TextMate расслоения отключить автоматические отступы корректировки, введенные в версии развития TextMate 2.0.

Что нового в версии 2.44.0:

• Изменены семантика дополняя категории, чтобы позволить исправления и предикат заявления и предикат определения объектов, дополненных. Это достигается путем обеспечения декларации предикат и определение поиски начать на дополняющих категорий, прежде чем искать в самом объекте или в дополняется связанных лиц.
• Обновлен компилятор Logtalk для того, чтобы генерировать предупреждение при компиляции, дополняющий категорию для объекта дополняется, который был собран с поддержкой для дополнения категории выключен.
• Исправлена ​​ошибка в обработке мета-мета призывы к предикатов, где вызывающий контекст должен быть установлен на & Quot; это & ​​Quot; вместо & Quot; отправителя и Quot; всякий раз, когда мета-аргумент был одним из :: / 2, {} / 1,

Что нового в версии 2.43.3:

• Изменен компилятор учитывать использования / 2 Директива при составлении обращений к отражению встроенные методы. Это изменение расширяет семантику использует / директивы 2 и позволяет легче миграции от простых приложений для Пролога Logtalk.
• Обновлено осуществление predicate_property / 2 встроенного метода, добавив свойство сфера / 1.
• Обновлен компилятор Logtalk добавить информацию о имени исходного файла, каталог исходного файла, и опций компилятора исходный файл в сгенерированных файлов Пролога. В предыдущих версиях эта информация была зарегистрирована только при загрузке исходного файла. Изменения упростить создание приложений, где Logtalk Библиотеки скомпилированных и предварительно загружены.
• Обновлен компилятор Logtalk печатать имя объекта крюка, используемого в компиляции исходных файлов, когда и Quot; крючок & Quot; Флаг компилятора определяется.
• Обновлен встроенный отладчик, чтобы избежать ненужных выбор точки, созданные фоновых Пролога компиляторов, чьи отказаться / 1 осуществления не удается воспользоваться логической семантики обновления, чтобы звонки детерминированным.
• Исправлена ​​ошибка в обработчике компилятор выполнения Logtalk где не удалось декомпилировать внутренние идентификаторы сущностей, бросая исключения существования предприятие.
• Обновлены Lean конфигурационный файл Пролог, добавив индекса / 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.1:

• Изменен компилятор учитывать использования / 2 Директива при составлении запросов к базе встроенных методов. Это изменение расширяет семантику использует / директивы 2 и позволяет легче миграции от простых приложений для Пролога Logtalk.
• Добавлена ​​экспериментальная поддержка использования шаблона предикат в качестве аргумента в coinductive / 1 директивы. Этот шаблон позволяет спецификации, какие аргументы являются значимыми для coinductive успеха. Основываясь на аналогичной функциональностью, найденной на на ДРА мета-переводчика Феликса Kluzniak в.
• Улучшена поддержка отладки coinductive предикаты при использовании Logtalk встроенный отладчик.
• Удалено поддержка коиндукции для CxProlog. Текущая версия компилятора не хватает этого мягкую разрез, построенный в предикат или управляющую конструкцию, которая в настоящее время, необходимое на экспериментальной реализации коиндукции.
• Отменено давнюю ограничение, не позволявшая определение пользователя из оболочек предикатов для bagof / 3 и setof / 3 встроенных методов, когда аргумент цель может использовать ^ / 2 квантор существования.
• Добавлена ​​поддержка для & Quot; ^ & Quot; мета-мета-предикат Аргумент режим спецификатор предложил Ян Wielemaker и найти на SWI-Prolog 5.11.25. Этот режим полезен спецификатор при определении обертки для bagof / 3 и setof / 3 встроенных методов, когда аргумент цель может использовать ^ / 2 квантор существования.
• Добавлена ​​& Quot; prolog_compiler & Quot; и & Quot; prolog_loader & Quot; флаги компилятора, которые позволяют передать параметры задней конец компилятора Пролог встроенные предикаты, которые собирают на диске и загрузка (составленный) Пролог флаг. Значение по умолчанию для обоих флагов пустой список.
• Исправлена ​​ошибка при компиляции звонки на Прологе СОБСТВЕННОСТИ встроенным мета предикатов, где компилятор может Logtalk попытка обработать удобства аргументы мета- в качестве целей. Эта ошибка проявляется только себя с некоторыми серверными Пролога компиляторов, таких как 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; для того, чтобы должным образом справиться с особых случаях, когда объект как экземпляр и специализируется другие объекты.
• Обновлен компилятор Logtalk, чтобы активировать любые заявления оператора, найденные на предикатных директив области видимости во время компиляции субъектов, которые содержат директивы.
• Улучшена производительность coinductive предикатов при использовании фоновых Prolog компиляторы, такие как SICStus Прологе, которые не обеспечивают управления конструкции мягкой Упрощенный но обеспечивают мягкую вырезать встроенный в мета-предикат (если / 3).
• Исправлена ​​ошибка, когда ложный доклад сборник / погрузки предупреждения может быть распечатана, когда исходный файл был скомпилирован / загружалась с флагом компилятора и Quot; доклад & Quot; выключен.
• Добавлены и Quot; streamvars & Quot; объект библиотеки, полученный от существующей & Quot; assignvars и Quot; Библиотека категория, показывая поддержку для добавления и извлечения условия (которые могут быть переменными) с & Quot; поток и Quot; Переменная.
• Обновлен и Quot; коиндукции & Quot; Например, воспользовавшись расширенной coinductive / 1 директивы и расширение числа индивидуальных примеров, которые могут быть запущены с помощью SICStus Пролог. Добавлена ​​модель проверки пример, используя коиндукции, coroutining, и ограничений, добавленных Неда Saeedloei.
• Обновлен и Quot; metapredicates и Quot; Пример с примером кода, иллюстрирующий, как определить обертки для bagof / 3 и setof / 3 встроенных методов, когда мета-аргумент может содержать экзистенциально квалифицированных переменные.
• Обновлены & Quot; CC & Quot; Например, предикат коррекции определения в течение нескольких фоновых Пролога компиляторов и добавив некоторые основные модульные тесты.
• Обновлен и Quot; кодировок и Quot; Пример с ограниченной поддержкой Lean Прологе.
• Добавлена ​​недостающие записи для meta_non_terminal / 1 директивы и для вызова // N нетерминальный к & Quot; помочь & Quot; Пример.
• Добавлена ​​парсер PDDL 3.0 файлов, добавленных Роберт Sasak.
• Добавлена ​​поддержка сворачивания кода в текстовый редактор SubEthaEdit. Добавлен код складывающиеся поддержку условной компиляции блоков в текстовый редакторы Кейт, Vim, и TextMate.
• Обновлены скрипты интеграции для того, чтобы загрузить библиотеку дорожки файл перед загрузкой Logtalk компилятора / выполнения. Это изменение направлено на упрощение загрузку библиотеки и файлы примеров из файлов настройки. Кроме того, также искать в каталоге установки Logtalk в $ HOME / акцию, когда переменная LOGTALKHOME среды не определена. Благодаря Ватор Сантос Коста за предложение.
• Обновлен установщик Windows для того, чтобы поддержать Lean Пролог и выявления Яп 64 бит версии.

Что нового в версии 2.43.0:.

• Добавлена ​​экспериментальная поддержка Lean Пролог
• Изменен отчет об ошибках компилятора Logtalk и выполнения. Все условия исключения в настоящее время используют, когда это возможно, ошибка (ошибка, Logtalk (цель, сущность))
• Формат. Изменен внутренний проверки использовать, когда это целесообразно, новый '$' 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 директивы плюс данные о местоположении источника (в том числе имена исходных файлов и номера строк), полезная как для отладки
• и для интеграции со средствами разработки. Этот флаг может быть отключен в целях получения более компактный код. 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 с Пролог-родных инструментов развития.
• Обновлен компилятор Logtalk для того, чтобы спасти местоположения сущностей статью и сделать эту информацию доступной для задней конец Prolog компиляторы.
• Обновлен компилятор Logtalk, чтобы избежать ненужных генерации внутренних положений Catchall для декларации предикатов и таблицах описаний для динамических лиц.
• Обновлен компилятор Logtalk того, чтобы исключить с помощью многофайловые предикаты за нарушение объекта инкапсуляции. Основная декларация
• организация должна существовать, содержащие как область и многофайловым директиву для предиката. Кроме того, определение положения для многофайловым
• Entity :: функтор / Arity без соответствующего Многофайловое / 1 директивы в настоящее время приведет к ошибке компиляции, а не просто предупреждением.
• Удалено ограничение компилятора Logtalk, что вынуждены несмежные / 1 и динамические / 1 директивы предшествовать звонки на заявленных предикатов.
• Улучшена отчет компилятор Logtalk из ошибками в написании вызовов, не являющихся терминалов в правилах грамматики.
• Разрешить использование:. контроль / 1 построить на теле грамматических правил
• При отладке сообщения, указанные в использований / 2 директив, сообщение теперь печатается неявно квалифицируется как в исходном коде, написанном пользователем.
• Изменены внутренние предикаты, используемые в реализации встроенных многопоточности предикатов для того, чтобы облегчить интеграцию с
• отладки высокого уровня инструменты, которые требуют декомпиляции сгенерированного кода Prolog.
• Исправлена ​​ошибка введена в Logtalk 2.42.4 на компиляции сущностей предикаты, которые требуют синхронизации предикаты. Эта ошибка привела к призывам
• делается вместо того, чтобы, не являющихся синхронизированы форм предикатов, которые проявятся в случайных неудач целей резьбы.
• Исправлена ​​ошибка давний где выполнения скомпилированных мета-вызов в категории будет составлен как призыв к предиката объекта
• импорт категорию, а как призыв к локальной категории предиката.
• Исправлена ​​ошибка давний, где значения флагов сущности установить локально с помощью set_logtalk_flag / 2 директива не будет сохранен в сущности
• скомпилированный код.
• Исправлена ​​ошибка давний, когда отменить динамический предикат в объекте без прототипа, где отмене / 1 метод удастся без
• предикат быть на самом деле отменены.
• Исправлена ​​ошибка в определении правильного контекста выполнения при вызове мета-аргумента, который требует компиляции выполнения в контексте
• & Quot; отправитель и Quot;.
• Исправлена ​​ошибка в компиляции явной квалифицированных вызовов модуль мета-предикаты, где модуль квалификация будет исключен из
• составлен вызова. Обратите внимание, что эти звонки будут использовать Logtalk мета-предикатные семантику (то есть мета-аргументы будут вызываться в контексте
• абонент) вместо обычных модулей Пролог мета-предикат семантики.
• Исправлена ​​ошибка, при которой коиндукции стеки не была инициализирована при использовании

Что нового в версии 2.42.4:

• Эта версия включает компилятор, среда, и мульти резьбы оптимизации производительности, улучшает сообщения об ошибках компилятора для синхронизированы / 1 и динамических / 1 директив, добавляет поддержку для сохранения данных Объём оператора и вывода этой информации автоматически генерируемого XML документирования файлов, добавлены новые коммунальные предикаты объекта Logtalk, улучшает несколько программирование примеры, включает в себя обходной путь для деинсталлятор ошибка SWI-Prolog на Windows, и имеет обновления переносимости для Цюй-Пролог, SICStus Пролог, SWI-Prolog, XSB, и ПЕА.

Что нового в версии 2.42.3:

• этой версии добавлена ​​поддержка для вызова динамических предикатов в Контекст и Quot; это & ​​Quot; изнутри категории, добавляет поддержку для предварительно скомпилированных руководителей статьи, включает в себя исправления и улучшения в встроенного отладчика, включает в себя улучшенные библиотеки и примеры, добавлена ​​поддержка indexicals при использовании (FD) библиотека SICStus Пролог CLP, добавляет экспериментальную пример используя приписываемые переменные в объектах и ​​категорий, и имеет обновления переносимости для Eclipse, GNU Prolog, SICStus Прологе, и SWI-Prolog.

Что нового в версии 2.42.2:

• Эта версия улучшает сборник звонков в модуль предикаты , улучшает проверки мета-аргументов в мета-предикатных вызовов, улучшает поддержку лямбда-выражений, включает в себя оптимизирующий компилятор для звонков в библиотеки мета-предикатов, добавляет новые библиотеки для регистрации событий, работая с временными интервальных отношений, и, используя целые счетчики, улучшает существующие примеры и библиотеки, добавляет поддержку для использования JavaScript-основе пакета SyntaxHighlighter, и имеет обновления переносимости для GNU Prolog, Цюй-Пролог, SICStus Пролог, SWI-Prolog и XSB.

Что нового в версии 2.42.1:

• этой версии добавлена ​​поддержка для новых мета-предикатов режиме показатели, позволяющие поддержку более Пролог СОБСТВЕННОСТИ встроенным мета-предикатов.
• Добавлена ​​поддержка для обнаружения и отчетности отсутствует динамические / 1 и несмежные / 1 директивы.
• был добавлен новый флаг нибудь вкусненькое.
• Два мета-предикатные компиляции ошибки были исправлены.
• Некоторые из примеров были обновлены.
• Переносимость обновления были сделаны для B-Prolog, SICStus Пролог, SWI-Prolog, XSB, и ПЕА.