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, обновленная система Модуль
• Много очистки в именования и модульности в коде.