SWI-Prolog

Це корисні цілі логіка програмування, штучний інтелект і комп'ютерну лінгвістику

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

• The Новий тип диктує і синтаксис надає час і простір ефективної ім'я-значення карт з приємним синтаксисом.
• Як наслідок, необхідно було замінити конструктор список (H, T) на (також у використанні ртутної) '[|]. (Н, Т). Це може здатися різким, але на практиці діє тільки кілька програм, зокрема, робить функтор (термін, F, A) в списках, а потім вибравши подальшої обробки на F == '.', A == 2. Щоб включити списки більше в спеціальною конструкцією, [] ще порожній список, але вже не такий же, як '[]', тобто, [] не є в атомі.
• Синтаксис і Quot; ... & Quot; тепер відображається в рядки. Рядки сумісні з Eclipse (завдяки Йоахім Шімпф для всіх обговорень). Традиційні кодові списки побудовані з використанням .... прапори double_quotes і back_quotes контролювати цю поведінку.
• Завдяки Torbjørn Lager, у нас є і Quot; Pengines & Quot;, Пролог двигуни в Інтернеті. Це забезпечує загальний API, щоб поговорити до серця сервері Прологу від JavaScript та інших випадках Прологу. Це дозволило Swish, SWI-Prolog у вашому браузері (http://swish.swi-prolog.org), а також http://lpn.swi-prolog.org (Дізнайтеся Пролог зараз! З вбудованим свисту).
• Маркус Triska додав CLP (В), логічний вирішувач, покращив свій CLP (FD) і було до декількох удосконалень в верхнього рівня, що займається обмежень.
• Спасибі Метту Ліллі та Майк Елстон, є CQL, DSL- (Domain Specific Language), для роботи з SQL. CQL розроблена в середовищі, де складні бази даних SQL є нормою і, отже, підтримує велику підмножину SQL і може впоратися з таблицями з тисячами колон і інших речей, що ocasional користувач SQL не чекатиме.
• Метт Ліллі значно покращився підтримку мережі, в тому числі набагато кращу підтримку SSL і загальної підтримки для обох HTTP і SOCKS проксі-серверів.
• Багато людей за умови, доповнення (пакети), які покладаються на SWI-Prolog версії 7. ​​

Що нового у версії 7.2.1 / 7.3.3-DEV:

• Новий тип диктує і синтаксис надає час і простір ефективної ім'я-значення карт з приємним синтаксисом.
• Як наслідок, необхідно було замінити конструктор список (H, T) на (також у використанні ртутної) '[|]. (Н, Т). Це може здатися різким, але на практиці діє тільки кілька програм, зокрема, робить функтор (термін, F, A) в списках, а потім вибравши подальшої обробки на F == '.', A == 2. Щоб включити списки більше в спеціальною конструкцією, [] ще порожній список, але вже не такий же, як '[]', тобто, [] не є в атомі.
• Синтаксис і Quot; ... & Quot; тепер відображається в рядки. Рядки сумісні з Eclipse (завдяки Йоахім Шімпф для всіх обговорень). Традиційні кодові списки побудовані з використанням .... прапори double_quotes і back_quotes контролювати цю поведінку.
• Завдяки Torbjørn Lager, у нас є і Quot; Pengines & Quot;, Пролог двигуни в Інтернеті. Це забезпечує загальний API, щоб поговорити до серця сервері Прологу від JavaScript та інших випадках Прологу. Це дозволило Swish, SWI-Prolog у вашому браузері (http://swish.swi-prolog.org), а також http://lpn.swi-prolog.org (Дізнайтеся Пролог зараз! З вбудованим свисту).
• Маркус Triska додав CLP (В), логічний вирішувач, покращив свій CLP (FD) і було до декількох удосконалень в верхнього рівня, що займається обмежень.
• Спасибі Метту Ліллі та Майк Елстон, є CQL, DSL- (Domain Specific Language), для роботи з SQL. CQL розроблена в середовищі, де складні бази даних SQL є нормою і, отже, підтримує велику підмножину SQL і може впоратися з таблицями з тисячами колон і інших речей, що ocasional користувач SQL не чекатиме.
• Метт Ліллі значно покращився підтримку мережі, в тому числі набагато кращу підтримку SSL і загальної підтримки для обох HTTP і SOCKS проксі-серверів.
• Багато людей за умови, доповнення (пакети), які покладаються на SWI-Prolog версії 7. ​​

Що нового у версії 7.2.0 / 7.3.1-DEV:

• Новий тип диктує і синтаксис надає час і простір ефективної ім'я-значення карт з приємним синтаксисом.
• Як наслідок, необхідно було замінити конструктор список (H, T) на (також у використанні ртутної) '[|]. (Н, Т). Це може здатися різким, але на практиці діє тільки кілька програм, зокрема, робить функтор (термін, F, A) в списках, а потім вибравши подальшої обробки на F == '.', A == 2. Щоб включити списки більше в спеціальною конструкцією, [] ще порожній список, але вже не такий же, як '[]', тобто, [] не є в атомі.
• Синтаксис і Quot; ... & Quot; тепер відображається в рядки. Рядки сумісні з Eclipse (завдяки Йоахім Шімпф для всіх обговорень). Традиційні кодові списки побудовані з використанням .... прапори double_quotes і back_quotes контролювати цю поведінку.
• Завдяки Torbjørn Lager, у нас є і Quot; Pengines & Quot;, Пролог двигуни в Інтернеті. Це забезпечує загальний API, щоб поговорити до серця сервері Прологу від JavaScript та інших випадках Прологу. Це дозволило Swish, SWI-Prolog у вашому браузері (http://swish.swi-prolog.org), а також http://lpn.swi-prolog.org (Дізнайтеся Пролог зараз! З вбудованим свисту).
• Маркус Triska додав CLP (В), логічний вирішувач, покращив свій CLP (FD) і було до декількох удосконалень в верхнього рівня, що займається обмежень.
• Спасибі Метту Ліллі та Майк Елстон, є CQL, DSL- (Domain Specific Language), для роботи з SQL. CQL розроблена в середовищі, де складні бази даних SQL є нормою і, отже, підтримує велику підмножину SQL і може впоратися з таблицями з тисячами колон і інших речей, що ocasional користувач SQL не чекатиме.
• Метт Ліллі значно покращився підтримку мережі, в тому числі набагато кращу підтримку SSL і загальної підтримки для обох HTTP і SOCKS проксі-серверів.
• Багато людей за умови, доповнення (пакети), які покладаються на SWI-Prolog версії 7. ​​

Що нового у версії 6.6.6 / 7.1.37:

• Обробка #!, Зв'язування не файл з перекладачем в Unix більше не намагається бути розумним про варіанти обробки на перекладача. Ефект цієї зміни залежить від версії Unix :. Деякі тільки пройти перший варіант, інші упакувати всі варіанти в один, і все ж інші проходять варіанти після розриву їх
• Пролог прапор ARGV тільки забезпечує аргументи, що не були оброблені Пролозі.
• Файл ініціалізації .plrc (pl.ini на Windows) більше не шукали в робочому каталозі з міркувань безпеки.

Що нового у версії 6.6.6 / 7.1.31:

• Обробка #!, Зв'язування не файл з перекладачем в Unix більше не намагається бути розумним про варіанти обробки на перекладача. Ефект цієї зміни залежить від версії Unix :. Деякі тільки пройти перший варіант, інші упакувати всі варіанти в один, і все ж інші проходять варіанти після розриву їх
• Пролог прапор ARGV тільки забезпечує аргументи, що не були оброблені Пролозі.
• Файл ініціалізації .plrc (pl.ini на Windows) більше не шукали в робочому каталозі з міркувань безпеки.

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

• Оновлені бібліотеки RDF до версії 3. Будь догляд про RDF, ймовірно, вже використовуєте версію розвитку з цієї причини. Додані швидкі парсери для ntriples, Черепаха і тригонометричних формати.
• Введення квазі котирування для безперешкодного і безпечного включення зовнішніх мовних фрагментів
• Реконструкція PlDoc прийняти загальний уцінки конструкції.
• Багато удосконалення інструментів розвитку, HTTP бібліотеки, CLIB пакета. і т.д. Покращена підтримка Unix демон процесів (системного журналу, UID / GID, управління і т.д.).
• Стартовий для локалі обробки (підтримки формату / 3, зокрема, написання регіональні конкретні великих чисел.
• Багато стійкості матеріалу :. Виправлені вильоти, переносимості патчі, побудувати удосконалення системи, і т.д.

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

• Початкова версія `пакет 'менеджера пакетів
• Покращена обробка вихідного файлу, зокрема, WRT. : - Включити (Файл)
.
• Багато виправлення в відладчик, що поліпшують керованість джерела і логіку, яка вирішує, на якій порти приховані.
• Версія для Windows в даний час будувати за допомогою компілятора MinGW проект, в результаті чого 10-20% прискорення. Удосконалення swipl-win.exe консолі :. копіювання / вставки і підтримку кольору

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

• Динамічний точно в строк індексації на декількох аргументів .
• абстрагуватися багато з API, розвитку, підтримки IDE PDT.
• Багато очищення, виправлення помилок, та ін.

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

• Зниження використання слід стека
• Забезпечення поколінь збору сміття.

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

• Скорочення використання слід стека. (частково)
• Забезпечення поколінь збору сміття.

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

• Скорочення використання слід стека. (частково)
• Забезпечення поколінь збору сміття.

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

• Всі платформи тепер використовують послідовний іменування. SWI-Пролог виконуваний називається swipl, компонувальник swipl-LD і менеджер Resouce-файл swipl-RC.
• Новий стек управління пам'яттю, яка базується на стеку зміни, а не виділення стеків рідко у віртуальному адресному просторі. Ця зміна дозволяє набагато краще масштабованість числа ниток, тому ми також видалили старий межа нитка підрахунку 100. Стек-межі тепер можна піднімати і зменшується під час виконання set_prolog_stack / 2.
• За замовчуванням стек-розмір-межі тепер 128MB за стопки на 32-біт і 256 на 64-розрядному обладнанні.
• Великий витоку і стрес-тестування зафіксували ряд витоків і гоночних умовах, що робить систему більш надійна в настройках сервера в режимі 24x7.
• Початок цьому було зроблено, щоб уникнути використання C-стек для рекурсії в термінах. Це дозволяє обробки більш глибоко вкладені умови і забезпечує чистий виключення, якщо немає достатніх ресурсів, щоб пройти цей термін. Існує ще багато належить зробити в цій галузі.
• SWI-Пролог 5.10.0 вводить безпечні посилання на термінах баз даних (assertz / 2, Recordz / 3) і потоків (відкрити / 3).
• змінних в пунктах кількість наразі обмежена 1000000000; це було 65535. Крім того, система забезпечує витончені винятки, коли стикаються з РЕСУРС-помилки або намагається стверджувати, незаконних такі терміни, як циклічних умовах.
• Сумісність з обох ПЕА і SICStus посилюється.

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

• CLEANUP: Впровадження та документації інтерфейсу сигналу.
• ВИПРАВЛЕНО :. Використання --nopce / - шт для (DIS) дозволяє графіки
• ВИПРАВЛЕНО: GC-помилка; опустити зачистки uwrite-біт від аргументу Stack
• ОНОВЛЕНО: Прибрана пролог прапор abort_with_exception; він більше не використовується.
• ВИПРАВЛЕНО: Уникайте тупик, намагаючись вийти після фатальної помилки
.
• ОНОВЛЕНО: is_set / 1 тепер використовує свого роду / 2. В результаті, не поділяю змінних розглядаються різні елементи; замовлення N * Log (N), а предикат може повертати ресурсу помилок.
• ВИПРАВЛЕНО: Після: - .. модуля (х), виконайте мета-розширення по відношенню до модулю х
• ПРИБИРАННЯ: Пункт # 547 :. Правильно вказуйте невизначені предикати і альтернативи
• DOC: Уточнити current_arithmetic_function / 1
.
• DOC: забезпечити доступність для Snippit C-функцій
• ВИПРАВЛЕНО: Попередня спрощення пошкоджені змінної адміністратора компілятора. Також додана тест-кейс.
• Виправлена ​​помилка # 436: об'єднання змінну з саме по собі створює опорний контур
.

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

• ВИПРАВЛЕНО: крос-referencer відрізнити: від 0 в оголошеннях мета-предикатних
• ПРИБИРАННЯ: Використання meta_predicate для predsort / 3
• ОНОВЛЕНО: зробити / 0 тепер тільки сканування для посилань на невизначених предикатів в модулях, які їх містять. List_undefined / 0 раніше шукає в глобальному масштабі.
• Поліпшене: CLP (FD) :. Арк-узгоджуються global_cardinality / 2, якщо пари спочатку земля
• ВИПРАВЛЕНО: Ручка (багатофайлова) предикати, для яких деякі пункти мають своє тіло в іншому модулі, а деякі в те ж саме. Метт Ліллі.
• Додана:% [& # x3c; п & # x3e;] Формат е до format_time / 3 мати справу з часткою секунд. Використовується нових розширень налагодження.
• Додана: debug_message_context (+ | -Context), щоб задати додатковий контекст для налагоджувальних повідомлень (наприклад, тимчасової печаткою)
.
• ВИПРАВЛЕНО: Зробіть apply_macros зробити свою експансію мети в контексті системного модуля
• Поліпшене: CLP (FD): Швидше global_cardinality / 2, якщо ключ-Num пари подрібнюють
.
• ВИПРАВЛЕНО: обробляти оператор-пріоритет у пресі відповідь. Маркус Triska.
• Поліпшене: Використовуйте опції верхнього рівня друку для остаточних цілей, реалізація очищення
• РОЗШИРЕННЯ: Зробіть term_variables і term_attvars ефективним, якщо наводиться список (зокрема term_attvars (термін, []))
.
• РОЗШИРЕННЯ: Зробіть записаний базу даних використовувати новий код срок-ходок
• Поліпшене: Початкове налаштування скелета для проходження терміни, використовуючи простий цикл, а не рекурсивну процедуру. Зараз у використанні для term_variables / 2 і пов'язаних з ними предикатів. З'являється адекватна Схема, але сегментований код стек повинен бути значно оптимізований. Як, term_variables / 2 трохи повільніше (5%), але він може працювати з глибоко вкладені умови з набагато меншим об'ємом пам'яті і без переповнення стека.
• Додана: term_attvars / 2 для кращої підтримки в copy_term / 3. Після обговорення з Маркусом Tříska.
• Додана: del_attrs / 1, щоб видалити всі * * атрибути. Спрощує copy_term / 3.

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

• Покращена продуктивність на великих програм між 10 і 40 %, залежно від стилю програмування. Примітно, що вирішувачі прибуток значно. Невеликі програми іноді показують набагато більше прискорень.
• З 5.7.4, оновлена ​​система Модуль
• Багато очищення в іменування і модульності в коді.