Logtalk

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

Особливості :.

• Поділ між інтерфейсом і реалізації:
• предикатні директиви (декларації) може міститися всередині протоколів (інтерфейсів), які можуть бути реалізовані будь-яким об'єктом.

<Клас Li = "bbli"> Параметричні об'єкти:
Імена
• може бути складові терміни, що містять вільні змінні, які можуть бути використані для параметрізуем об'єктів предикати.

<Клас Li = "bbli"> Підтримка для обох систем, заснованих на класах і на базі прототипів
• Ви можете мати, в тому ж додатку, на основі класів ієрархії (з конкретизації та спеціалізації відносин) та ієрархії прототипів на основі (з розширенням відносин).

<Клас Li = "bbli"> Підтримка декількох ієрархій об'єктів:
• Немає необхідності бути стриманим в одній довгій ієрархії підкаталогів в якомусь родового об'єкта.


• Private, захищені, і відкрите спадкування:
• Logtalk підтримує приватні, захищені, і відкрите спадкування за аналогією з C. Крім того, будь-яка юридична особа, співвідношення може бути кваліфіковано за допомогою ключового слова розмаху.

<Клас Li = "bbli"> Приватні, захищати і громадського об'єкта предикатів:
• Встановити обсяг вашого об'єкту предикатів, щоб відповідати ваш дизайн протоколу і нехай виконуюча система дотримання ваш вибір.


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


• Статичний і динамічний об'єкт предикати:
• Будь статичний об'єкт може містити як статичні, так і динамічні предикати.

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


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


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


• Підтримка Multi-спадкування:
• Logtalk підтримує мульти-успадкування та протоколу реалізації. Об'єкт може реалізувати декілька протоколів і розширення, спеціалізуються, або показати кілька об'єктів. Конфлікти Multi-успадкування вирішуються неявно алгоритмів Logtalk пошуку або явно за допомогою предикатів директив.


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


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


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


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

<Клас Li = "bbli"> При написанні Logtalk я спробував слідувати стандарту Пролог ISO всякий раз, коли це можливо. Можливості, необхідні Logtalk, які не визначені у частині I стандарту ISO є:

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

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

<Клас Li = "bbli"> Крім того, Logtalk працює практично без змін за допомогою наступних компіляторів Прологу (в алфавітному порядку):
• ALS Prolog 3.1
• Amzi! Пролог 6,22 ~ 7.x
• BinProlog 8.x ~ 10.x
• B-Prolog 4.0, 5.0, 6.x
• CIAO Пролог 1.10p5
• Eclipse 5.5 ~ 5.8
• IF / Пролог 5.x
• JIProlog 3.0.1-2
• K-Prolog 5.1.2a
• МПУ MacProlog32 1,25
• МПУ WinProlog32 4.0x
• MasterProlog 4,1
• Відкрити Пролог 1.1b10
• PrologII 4,5
• QU-Prolog 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; smart_compilation і Quot; і & Quot; чистий і Quot; прапори.
• Дозволяє м'якої скоротити керуючих конструкцій, (* - & GT;) / 2, коли спочатку підтримується компілятором Prolog фоновим, які будуть використовуватися в тілі граматичних правил (після зауваження Даніель Діас при обговоренні GNU підтримка Пролог для управління конструкції м'якої вирізом).
• Виправлена ​​компілятора Logtalk помилка, коли і Quot; source_data і Quot; прапор на з серверними Пролог компілятори, де неможливо отримати позицію на строк читання.
• Виправлена ​​помилка в складанні meta_non_terminal / 1 Директиви, якщо тільки перший мета-аргумент буде правильно оброблені.
• Оновлене конфігураційний файл Eclipse для виявлення при роботі на Windows 64 біт систем і ігнорувати, чи не предикат і не є операторами експорту при попередньої обробки LIB / 1 директиви.
• Оновлене рамках модульного тестування для друку більш інформативні повідомлення для несправний блок тестів.
• Додана предикат Split / 4 (для поділу списку на підсписків при заданій довжині) на & Quot; listp & Quot;, & Quot; список і Quot;, і & Quot; difflist & Quot; Бібліотека особами.
• Оновлені & Quot; CC & Quot; Приклад з визначенням для Shell / 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 конфігураційний файл Пролог, додавши INDEX / 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; прапори компілятора, які дозволяють передати параметри бек-кінець компілятора Prolog вбудовані предикати, які збирають на диск і завантажити (компіляція) Пролог прапор. Значення за замовчуванням для обох прапорів порожній список.
• Виправлена ​​помилка при компіляції дзвінки на Пролозі ВЛАСНОСТІ вбудованим мета-предикатів, де компілятор 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 та виконання. Всі умови виключення тепер використовувати всякий раз, коли це можливо, помилка (Error, 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 в цілях економії місця сутностей статтю і зробити цю інформацію доступною для серверної частини прологу компілятори.
• Оновлене компілятор Logtalk для того, щоб уникнути появи непотрібних внутрішніх положень Catchall для оголошення предикатів і таблицях описів для динамічних осіб.
• Оновлене компілятор Logtalk для того, щоб перешкоджати його використанню многофайловий предикати за порушення об'єкта інкапсуляції. Основний декларації
• Підприємство повинно існувати, що містить як обсяг і многофайловий директиву для предиката. Крім того, визначення положення для многофайловий
• Entity :: функтор / Arity без відповідних многофайловий / 1 директиву зараз призведе до помилки компіляції, а не просто попередженням.
• Вилучено обмеження компілятора Logtalk, що змушені несуміжних / 1 та динамічні / 1 директиви передувати дзвінки на заявлених предикатів.
• Покращена звіт компілятор Logtalk з орфографічними помилками дзвінків в не-терміналів в правилах граматики.
• Дозволити використання :. Контроль / 1 побудувати на тілі граматичних правил
• При налагодженні повідомлення, зазначені в використовує / 2 директив, повідомлення тепер друкується неявно кваліфікується як у вихідному коді, написаному самим користувачем.
• Змінено внутрішні предикати, використовувані в реалізації вбудованих многопоточности предикатів для того, щоб полегшити інтеграцію з
• налагодження високого рівня інструменти, які вимагають декомпіляцію згенерованого Пролог коду.
• Виправлена ​​помилка, що з'явилася в Logtalk 2.42.4 щодо складання сутностей предикати, які вимагають синхронізації предикати. Ця помилка призвела до закликів
• робиться замість того, щоб не-синхронізовані форм предикатів, які проявляться у випадкових невдач цілей різьблення.
• Виправлена ​​давній помилка, де час виконання скомпільованих мета-виклик в категорії повинні бути складені як заклик до предиката об'єкта
• імпорт категорію, а як заклик до локальної категорії предиката.
• Виправлена ​​давній помилка, де значення прапорів безлічі сутностей локально за допомогою set_logtalk_flag / 2 директива же не бути збережені в сутності
• скомпільований код.
• Виправлена ​​давній помилка, коли скасувати динамічного предиката в об'єкті, що не прототипу, де скасування / 1 метод може увінчатися успіхом без
• предиката насправді скасовані.
• Виправлена ​​помилка у визначенні правильного контексту виконання при виклику мета-аргумент, що вимагає компіляції під час виконання в контексті
• & Quot; відправник і Quot ;.
• Виправлена ​​помилка в складанні явних кваліфікованих викликів модуль мета-предикати, де модуль кваліфікація буде виключений з
• складений виклику. Зверніть увагу, що ці заклики будуть використовувати Logtalk мета-предикатні семантику (тобто мета-аргументи будуть викликатися в контексті
• абонент) замість звичайних модулів Пролог мета-предикат семантики.
• Виправлена ​​помилка, коли коіндукціі стеки ні инициализирован при використанні

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

• Ця версія включає в себе компілятор, середа, і мульти різьблення оптимізації продуктивності, покращує повідомлення про помилки компілятора для синхронізованого / 1 та динамічних / 1 директивами, додана підтримка для збереження даних Обсяг оператор і виведення цієї інформації автоматично згенерованого XML документування файли, додає нові комунальні предикати об'єкта Logtalk, покращує кілька програмування приклади, включає в себе тимчасове рішення для деінсталяції помилка SWI-Prolog на Windows, і має поновлення мобільність для Qu-Прологу, 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, і ПЕА.