Logtalk

Пролог є мовою логічного програмування загального призначення, який був випущений ще в 1972 році, з дуже мало оновлень з тих пір.

Logtalk був створений, щоб додати більше сучасні риси в Пролозі, в основному поліпшення продуктивності, лямбда-вирази, граматичні правила, поліпшені помилки компілятора і попередження звітів.

На вершині цього, додайте легший процес встановлення та оновлення сумісності компілятор Прологу.

Це робить Logtalk кращу, більш відповідну альтернативу Пролозі в сучасній ІІ та комп'ютерної лінгвістики сценаріїв, набагато більш потужна мова мульти-парадигми, підходить для подієвого і високого рівня многопоточности програмування.

синтаксис В даний час Logtalk розширює стандартний синтаксис Прологу і ви можете запустити Logtalk на цих компіляторів Прологу:

B-Prolog

CxProlog

ECLIPSE

GNU Prolog

Lean Пролог

Qu-Prolog

SICStus Пролог

SWI Prolog

XSB

YAP

Що нового в цьому випуску:

• Покращено:
• Зміни терміну теги, які використовуються при написанні скомпільованої коду, щоб допомогти мінімізувати розмір генеруються проміжних файлів Прологу, які використовують ці теги, щоб вирішити, коли для прикраси скомпільовані терміни з даними джерела інформації про місцезнаходження (в даний час, тільки SWI-Пролог використовує переваги дані про місцезнаходження).
• Виправлено:
• Файл може мати більш ніж один батьківський файл.

Що нового у версії 3.02.2:

• Покращено:
• Зміни терміну теги, які використовуються при написанні скомпільованої коду, щоб допомогти мінімізувати розмір генеруються проміжних файлів Прологу, які використовують ці теги, щоб вирішити, коли для прикраси скомпільовані терміни з даними джерела інформації про місцезнаходження (в даний час, тільки SWI-Пролог використовує переваги дані про місцезнаходження).
• Виправлено:
• Файл може мати більш ніж один батьківський файл.

Що нового у версії 3.02.1:

• Покращено:
• Зміни терміну теги, які використовуються при написанні скомпільованої коду, щоб допомогти мінімізувати розмір генеруються проміжних файлів Прологу, які використовують ці теги, щоб вирішити, коли для прикраси скомпільовані терміни з даними джерела інформації про місцезнаходження (в даний час, тільки SWI-Пролог використовує переваги дані про місцезнаходження).
• Виправлено:
• Файл може мати більш ніж один батьківський файл.

Що нового у версії 3.00.4:

• Покращено:
• Зміни терміну теги, які використовуються при написанні скомпільованої коду, щоб допомогти мінімізувати розмір генеруються проміжних файлів Прологу, які використовують ці теги, щоб вирішити, коли для прикраси скомпільовані терміни з даними джерела інформації про місцезнаходження (в даний час, тільки SWI-Пролог використовує переваги дані про місцезнаходження).
• Виправлено:
• Файл може мати більш ніж один батьківський файл.

Що нового у версії 3.00.2:

• Покращено:
• Зміни терміну теги, які використовуються при написанні скомпільованої коду, щоб допомогти мінімізувати розмір генеруються проміжних файлів Прологу, які використовують ці теги, щоб вирішити, коли для прикраси скомпільовані терміни з даними джерела інформації про місцезнаходження (в даний час, тільки SWI-Пролог використовує переваги дані про місцезнаходження).
• Виправлено:
• Файл може мати більш ніж один батьківський файл.

Що нового у версії 3.00.1:

• Покращено:
• Зміни терміну теги, які використовуються при написанні скомпільованої коду, щоб допомогти мінімізувати розмір генеруються проміжних файлів Прологу, які використовують ці теги, щоб вирішити, коли для прикраси скомпільовані терміни з даними джерела інформації про місцезнаходження (в даний час, тільки SWI-Пролог використовує переваги дані про місцезнаходження).
• Виправлено:
• Файл може мати більш ніж один батьківський файл.

Що нового у версії 2.44.1:

• Виправлена ​​помилка в складанні meta_non_terminal / 1 директива, де тільки перший мета-аргумент буде правильно оброблений.
• Оновлений конфігураційний файл ECLIPSE для виявлення при роботі на Windows 64 біт систем і ігнорувати НЕ-предикатні і не оператор експорту при попередній обробці Lib / 1 директиви.
• Оновлений модульного тестування рамки для друку більш інформативні повідомлення для невдалих модульних тестів.
• долучення предикат Split / 4 (для поділу списку на подсписков із заданою довжиною) до & Quot; listp & Quot;, & Quot; список & Quot;, і & Quot; difflist & Quot; бібліотечні об'єкти.
• Оновлений & Quot; CC & Quot; Приклад з визначенням для оболонки / 2 предикат для CxProlog.
• Змінено назви об'єктів в & Quot; ми & Quot; приклад, щоб уникнути конфлікту імен при виконанні тестів приклад блоку.
• Виправлена ​​помилка в інсталятор Windows, яка перешкоджала виявлення YAP 64 біт версій. Завдяки Степан Іпатова за повідомлення про помилку.

Що нового у версії 2.44.0:

• Цей випуск змінює семантику доповнюючи категорії, що дозволяє його використання для виправлення існуючого коду об'єкта, виправлені дві помилки в обробці мета-викликів, дозволяє відкривати списки терміналів в тілі правил DCG, додає дві нові приклади, а також покращує підтримку Вім текстового редактора і для рясної Ctags.

Що нового у версії 2.43.3:

• Виправлена ​​помилка в обробнику Logtalk компілятор під час виконання де він не декомпілювати внутрішні ідентифікатори сутностей при кидку виключення суті існування.
• Оновлений Lean конфігураційний файл Пролог, додаючи індекс / 1 директиви для деяких динамічних предикатів, використовуваних внутрішніх таблиць Logtalk під час виконання.
• Оновлені файли інтеграції SWI-Prolog для перевірки наявності директиви індексу / 1, який є застарілим нової експериментальної підтримки SWI-Пролог для точно в момент індексації кількох аргументів.
• Додана предикати підпослідовності / 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; Прапор компілятора при тестуванні для підтримки модуля Прологу, таким чином, уникнути проблем при компіляції з серверними укладачів Прологу, які не підтримують модульну систему, але до сих пір визначають (:). / 2 в якості вбудованої контрольної конструкції або предиката
• Прибрана підтримка & Quot; startup_message & Quot; Прапор компілятора & Quot; прапори (компактні) & Quot; і & Quot; прапори (багатослівні) & Quot; значення, замінюються одним значенням, & Quot; прапори і Quot;, який відповідає старому & Quot; прапори (компактні) & Quot; значення.
• Виправлена ​​помилка при використанні OP / 3 директиви з create_protocol / 3, create_object / 4, і create_category / 4 вбудованих предикатів, де локальні оголошення оператора буде видно за межами нових об'єктів.
• Виправлена ​​помилка, при якій створюючи нову динамічну сутність під час виконання визначатиме більше не використовується бухгалтерське динамічний предикат, який не буде скасовано, коли підприємство ліквідується.
• Виправлена ​​помилка компілятора, де & Quot; супер & Quot; викликати з об'єкта, який тільки створює екземпляр сам і не спеціалізуватися який-небудь об'єкт буде згенеровано виняток замість збою.
• Оновлений & Quot; контрольні показники і 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. Цей режим специфікатор корисний при визначенні обгорток для / 3 і setof / 3 вбудованих методів bagof щоразу, коли мета аргумент може використовувати квантор існування ^ / 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 і обмеження.
• Оновлений & Quot; metapredicates & Quot; Приклад з прикладами коду, який ілюструє, як визначити обгортками для / 3 і setof / 3 вбудованих методів bagof, коли мета-аргумент може містити екзистенційно кваліфікованих змінних.
• Оновлений & Quot; CC & Quot; Наприклад, виправляючи предикатні визначення для декількох серверних компіляторів Прологу і додавання деяких основних модульних тестів.
• Оновлений & Quot; кодувань & Quot; Приклад з обмеженою підтримкою Lean Пролозі.
• Додані відсутні записи для meta_non_terminal директиви / 1 і для виклику // N нетерміналу до & Quot; допомогти & Quot; Приклад.
• долучення парсер для PDDL 3.0 файлів, внесений Робертом Sasak.
• Додана підтримка згортання коду в текстовому редакторі SubEthaEdit. Доданий код складаний підтримки умовної компіляції блоків в текстові редактори Kate, Vim і TextMate.

<Літій> Оновлений сценарії інтеграції для того, щоб завантажити файл бібліотеки шляху перед завантаженням Logtalk компілятора / середовища виконання. Ця зміна направлено на спрощення завантаження бібліотеки і файли прикладів з файлів налаштувань. Крім того, також шукати каталог установки Logtalk в $ HOME / акцію, коли змінна оточення LOGTALKHOME не визначена.
• Оновлений інсталятор Windows для того, щоб підтримувати Lean Пролог і виявити Яп 64 біт версії.

Що нового у версії 2.43.0 :.

• Додана експериментальна підтримка Lean Пролозі
• Прибрано обмеження Logtalk компілятор, який змусив несуміжні / 1 і динамічні / 1 директиви випередити виклики заявленому предикатами.
• Покращений звіт Logtalk укладач орфографічними дзвінків на нетерміналів в правилах граматики.
• Дозволити використання :. Контроль / 1 будується на тілі граматичних правил
• При налагодженні повідомлень, зазначених у директивах використовує 2 /, повідомлення тепер друкується неявно кваліфікується як в вихідному коді, написаному користувачем.
• Змінено внутрішні предикати, які використовуються при здійсненні вбудованих багатопоточних предикатами для того, щоб полегшити інтеграцію з інструментами налагодження високого рівня, які вимагають декомпіляцію згенерованого коду Пролозі.
• Виправлена ​​помилка в бібліотеці підтримки модульних тестів, & Quot ;. Lgtunit & Quot;, де тестування винятків буде приймати будь-який термін виключення відповідно до модульного тестування специфікації
• Оновлений & Quot; CC & Quot; Приклад з виправленням помилок і поліпшень Затемнення сприяло Йоахімом Шімпф з виправленою помилкою для реалізації SWI-Пролог в expand_path / 2 предикат (в результаті останніх змін в SWI-Prolog absolute_file_name / 3 вбудований предикат), а також з визначення для command_line_arguments / 1 предикат для B-Прологу.
• Оновлений & Quot; коіндукціі & Quot; Наприклад, додавання ще деякі окремі приклади.
• Оновлений & Quot; XML_Parser & Quot; Внесок в цілях, щоб обійти проблеми з перенесенням з GNU Prolog.
• Правильно помилка в деяких скриптах, де & Quot; # / бен / Баш & Quot; використовували замість & Quot; #! / bin / Баш & Quot;. Завдяки Yiorgos Адамопулос для звіту про помилку.
• Оновлений Inno Setup GUI Windows, установки скрипта для того, щоб забезпечити повну установку користувачами без прав адміністратора.
• Додана підтримка забарвлення синтаксису для директиви ISO Prolog включають / 1 для всіх підтримуваних текстових редакторів і синтаксису подсветок.
• Виправлені деякі помилки на вкладці тригерів для фрагментів Gedit Logtalk, які перешкоджали їх використання.
• Змінено назад до використання XEP замість ФОП при генерації PDF-версії користувача і довідкових посібників, як ФОП обрізає вміст деяких сторінок.

Що нового у версії 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 компілятора / виконання.
• Переїхав внутрішні предикати, які конструюють і отримати доступ до контексту виконання предикат від компілятора в файлах конфігурації Прологу, щоб підтримати тонке налаштування продуктивності, яке Пролог компілятор залежить.
• Оновлений реалізація різьбовій / 1 багатопотоковому вбудований предикат для того, щоб використовувати невелику оптимізацію продуктивності на основі term_variables / 2 вбудованих предикатів, запропонованих Тімон Ван Overveldt. Така оптимізація спрямована на скорочення непотрібного копіювання та уніфікації термінів. Крім того, замінити використання setup_call_cleanup / 3 вбудованих предиката з уловом / 3 вбудованих предиката шляхом спрощення обробки як провідного і веденого ниток, що також підвищує продуктивність.
• Виправлена ​​помилка в реалізації нарізного / 1 багатопотоковому вбудований предикат, де відмова користувачем, щоб задати незалежні цілі при спробі використовувати незалежний і паралелізм може привести до зомбі-потоків.
• Більш інформативні терміни виключення при спробі оголосити синхронізований предикат як динамічні або динамічний предикат, як синхронізовані.
• Оновлений конфігураційний файл XSB з метою підтримки компіляції модулів як об'єкти. Додано визначення зниклого setup_call_catcher_cleanup / 4 вбудованих предиката. XSB 3.3 (або пізнішої версії) тепер потрібно для сумісності з Logtalk.
• Оновлений конфігураційний файл SWI-Пролог для того, щоб забезпечити обмежену підтримку arithmetic_function / 1 патентованого директиви (арифметичні функції компілювати як глобальні, а не як локальними по відношенню до об'єктів або категорій, що визначають їх).
• Оновлений конфігураційний файл YAP для того, щоб ігнорувати / 1 директиву style_check і інтерпретувати yap_flag 2 директиву / як директива set_prolog_flag / 2.
• Змінено процесор XSL-FO за замовчуванням (використовується для генерації PDF-версії користувача і довідкових посібників) від XEP до FOP.
• Оновлений & Quot; XML_Parser & Quot; Внесок в цілях, щоб обійти проблеми з перенесенням з Qu-Prolog, SICStus Пролозі і XSB.
• Оновлений & Quot; кодувань & Quot; наприклад, для того, щоб гарантувати, що немає ніяких прогалин перед кодуванням / 1 директиви.
• Оновлений & Quot; attvars & Quot; наприклад, для того, щоб підтримати B-Prolog і XSB. Також додана підтримка використання приписувані змінних всередині Logtalk параметричних об'єктів і параметричних категорій. Завдяки Яна Wielemaker, ватора Сантос Коста, і Барт Demoen для зворотного зв'язку і реалізації пропозицій.
• Оновлений & Quot; профайлери & Quot; Приклад з попередньою підтримкою змін до виконання профілювання в SICStus Пролог версії 4.2.
• Оновлений & Quot; розширення & Quot; Приклад з великою кількістю прикладів коду про те, як об'єднати і визначення перспективу, мета-розширення від різних об'єктів гачків.
• Оновлений & Quot; коіндукціі & Quot; Наприклад, додавання експериментальної keysort / 2 coinductive предикат. Завдяки Яна капшук за пропозицію.
• Оновлений & Quot; Tak & Quot; многопоточность приклад, в якому відсутня скорочення призведе до швидко вичерпати локальний стек при використанні SWI-Пролог в зв'язку зі створенням дуже великого числа непотрібних точок вибору.
• Оновлений & Quot; mtbatch & Quot; многопоточность приклад для того, щоб забезпечити розширену бенчмаркінг в & Quot; Tak & Quot; Приклад.
• Оновлений portfile MacPorts і сценарій, який оновлює його, щоб видалити обчислення контрольної суми MD5, яка поступово скорочується за допомогою MacPorts.
• Оновлений Inno Setup GUI Windows, установки скрипта для того, щоб обійти помилку на монтажників SWI-Пролог 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; d & Quot; процитувати терміни, коли це необхідно.
• Додана часткова реалізація ISO Prolog predicate_property / 2 предикат в конфігураційний файл ECLIPSE.
• Оновлений конфігураційний файл SWI-Пролог, щоб видалити помилкове заяву бібліотеки мета-предикатами 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. В даний час потрібне використання ПЕА або 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 капшук, який запропонував ці перевірки готовності до роботи.
• Оновлений Logtalk виконання для того, щоб підтримувати за допомогою & # x3c; & # x3c; / 2 управління побудувати в закривають мета-аргументи мета-предикатами
.
• Додана підтримка для компіляції Free / Goal лямбда-вирази викликів (шляхом автоматичної генерації допоміжний предикат по можливості).
• долучення compile_aux_clauses / 1 відкритий метод, заснований на предиката з тим же ім'ям в SWI-Пролог, до вбудованим об'єктом & Quot; Logtalk & Quot;. Цей метод зазвичай викликається з goal_expansion / 2 гачків з метою збору допоміжних положень, згенеровані для підтримки розширеної мети.
• Додана мета-предикат ігнорувати / 1, реалізований деякими укладачів Прологу як вбудований предикат, як вбудований метод Logtalk.
• Оновлений конфігураційний файл SWI-Пролог, щоб запобігти автоматичне завантаження бібліотек модулів при запиті предикатні властивості з Logtalk.
• Оновлений Qu-Prolog, SICStus Пролог і конфігураційні файли XSB для того, щоб наявний предикат term_variables / 2 в якості вбудованого предиката ISO.
• Оновлення сценаріїв інтеграції Qu-Prolog для того, щоб подвоїти значення розміру купи для компіляції Logtalk компілятора / середовища виконання, вирішуючи аварії при запуску.
• Відновлена ​​команда-файл MacOS X для GNU Prolog (перемістилася з & Quot; скрипти / MacOSX / command_files / необслуговуваних & Quot; папки).
• Додана предикати findall_member / 4-5 до об'єкта бібліотеки & Quot; мета & Quot; (На основі проекту Прологу бібліотеки пропозицією Річарда О'Кіф в). Вилучені оголошення і визначення предикатів з правом відкликання / 1 і ігнорувати / 1 з бібліотеки суб'єктів & Quot; Метапа & Quot; і & Quot; мета & Quot; (Її викликає / 1 є вбудований предикат у всіх підтримуваних компіляторів Прологу, ігнорувати / 1 є тепер Logtalk вбудований метод)
.
• Додано об'єкт бібліотеки, & Quot; meta_compiler & Quot;, який може бути використаний в якості об'єкта гачками для розширення викликів на мета-предикатів, визначених в об'єкті бібліотеки & Quot; мета & Quot; для того, щоб уникнути накладних витрат мета-викликів. У тих випадках, коли виклик мета-предикат не можуть бути оптимізовані, визначення за замовчуванням на & Quot; мета & Quot; використовується об'єкт. Використання керуючих конструкцій в якості мета-аргументів не підтримує (поки). Робота триває.
• долучення протокол, & Quot; loggingp & Quot;, і категорія і об'єкт реалізації, & Quot; протоколювання & Quot; і & Quot ;. Реєстратор & Quot;, оголошення і визначення базової функціональності для ведення журналу подій в файли в бібліотеку
• долучення протокол, & Quot; intervalp & Quot;, і об'єкта, & Quot; інтервал & Quot;, оголошення і визначення основних тимчасових відносин інтервалів в бібліотеку (на основі роботи Джеймс Ф. Аллен 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 або пізнішої версії) Алекс Горбачовим з вихідним кодом Logtalk.
• долучення відсутній синтаксису забарвлення ще / 0 директива умовної компіляції для підтримки GNU Source-родзинкою виділення інформації на екрані.
• Додано примітка на підтримку редагування тексту Logtalk доступні на безкоштовній MacOS X Kod текстовому редакторі.
• Додана підтримка синтаксису розмальовки для нового ігнорувати / 1 вбудований метод для всіх підтримуваних текстових редакторів і синтаксису подсветок.

Що нового у версії 2.42.1:

• Додана підтримка Logtalk компілятора для виявлення і звітності відсутні динамічні / 1 і несуміжні / 1 предикатні директиви.
• Додано новий прапор ворсу, & Quot; missing_directives & Quot;, зі значенням за замовчуванням & Quot; попередження & Quot;, до всіх файлів конфігурації. Цей прапор дозволяє виконувати друк попереджень компілятора для відсутніх динамічних / 1, несуміжні / 1, і багатофайлова / 1 предикатні директиви.
• Додана підтримка нових індикаторів режиму шаблон мета-предикат: (/) для індикатора предиката, [/] для списку предикатних показників, і [0] для списку цілей
.
• Виправлена ​​помилка в Logtalk компілятора при перевірці мета-предикатні застереження голови на наявність помилок де в & Quot; :: & Quot; Індикатор режиму мета-аргумент ще інтерпретується як & Quot; 0 & Quot ;.
• Виправлена ​​помилка в обробці закриття (в мета-викликів), які використовуються для побудови викликів для управління конструкції або вбудовані предикати, які можуть привести до виклику деяких мета-аргументи в неправильному контексті. Завдяки Ulrich Neumerkel для прикладу, що ілюструє в списку розсилки SWI-Прологу.
• Оновлений компілятор Logtalk, щоб уникнути попереджень друку про зниклих без посилання на & Quot; розширюється & Quot; і & Quot; моніторинг & Quot; вбудовані протоколи при компіляції модулів як об'єкти.
• Скасовано зміни в версії 2.39.2, що дозволило псевдо-об'єкт & Quot; користувач & Quot; практично містити визначення всіх Пролозі вбудованих предикатів. Це може привести до різних результатів в залежності від серверної Прологу компілятора, особливо при виклику мета-предикати в контексті & Quot; користувач & Quot ;.
• Виправлена ​​помилка в SWI-Prolog & Quot; swihooks.lgt & Quot; Файл, який привів до фальшивку повідомлення про помилку про неприйнятний Logtalk прапор при зверненні файл Пролозі, коли є вихідний файл Logtalk з тим же ім'ям в тому ж каталозі.
• Додана підтримка відсутню власної вбудованої в мета-предикатами до B-Prolog, SICStus Пролозі, SWI-Пролог, XSB і YAP конфігураційних файлів.
• Оновлений SICStus Пролог, SWI-Prolog і YAP конфігураційних файлів для того, щоб перевизначити мета-присудок шаблони для консультації / 1 і load_files / 2 вбудованих предиката.
• Додана реалізацію map_reduce / 5 мета-предикат до об'єкта бібліотеки & Quot; мета & Quot ;.
• Додано реалізацію command_line_arguments / 1 предикат до & Quot; см & Quot; Приклад.
• Оновлений & Quot; лямбда & 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.