Вопросы с тегом swi-пролог

0 голосов

1 ответ

Как получить более сложную теорию на Aleph с помощью SWI-Prolog?

Vic / 10 июля 2020

0 голосов

1 ответ

Где находится сток SWI-Prolog?

Vic / 09 июля 2020

4 голосов

1 ответ

К каким модулям неквалифицированное утверждение добавляет термин?

user48956 / 30 апреля 2020

0 голосов

0 ответов

Печать бинарного дерева в Прологе

Vladan Kozic / 23 апреля 2020

0 голосов

1 ответ

Swi пролог на windows не может принять filepaths

s3j80 / 22 апреля 2020

0 голосов

2 ответов

Почему не десугаред "." синтаксис функтора для списков работает так же, как []?

Abe Voelker / 21 апреля 2020

1 голос

2 ответов

Преобразование из RDF "типизированного литерала" в атом Пролога в SWI Пролог

Eric Zinda / 12 апреля 2020

0 голосов

1 ответ

Типы тестирования терминов Пролог: небольшие проблемы

David Tonhofer / 08 апреля 2020

0 голосов

1 ответ

Prolog pack_install Ошибка SSL для swi-prolog.org

Jere / 06 апреля 2020

1 голос

1 ответ

разбор stdin с dcg

swaffelay / 04 апреля 2020

1 голос

0 ответов

Почему я не могу хранить OWL-класс в переменной?

Jere / 22 марта 2020

2 голосов

1 ответ

Как прочитать файл CSV в список списков в прологе SWI, где внутренний список представляет каждую строку CSV?

Udoka Jose-Maria Nwabuike / 20 марта 2020

1 голос

1 ответ

plunit test, по-видимому, создает закулисный модуль ... но может ли этот модуль быть выгружен?

David Tonhofer / 11 марта 2020

0 голосов

0 ответов

Как перенаправить вывод rdf_save_turtle на вывод http в прологе SWI?

Adrián Arroyo Calle / 05 марта 2020

1 голос

1 ответ

Как включить двойные кавычки в аргумент командной строки SWI-PL?

Lucian Green / 22 февраля 2020

1 голос

1 ответ

Как использовать DCG в Прологе

Angela / 19 февраля 2020

1 голос

2 ответов

Расширение DCG в Прологе

Anderson Green / 13 февраля 2020

1 голос

1 ответ

Расширение предложений Prolog с помощью forall / 2

Anderson Green / 05 февраля 2020

0 голосов

1 ответ

Пролог: process_create не работает внутри http_handler

Reed Oei / 03 февраля 2020

2 голосов

1 ответ

Расширение предложений Prolog без параметров

Anderson Green / 03 февраля 2020

1 голос

0 ответов

Надежно найти реализации quasi_quotations

CapelliC / 30 января 2020

1 голос

0 ответов

SWI-Prolog не может запускать внешние процессы через JPL

frantiz96 / 21 января 2020

0 голосов

1 ответ

source_sink `appl 'не существует

heilig / 15 января 2020

0 голосов

1 ответ

Почему это правило не использует первый символ [Пролог CFG]?

shuji / 08 января 2020

1 голос

1 ответ

SWI Пролог foreach / 2

Рассмотрим ?- length(L, 4), foreach(member(M,L),(length(M,4))). L = [_28602, _28608, _28614,...

Erhannis / 08 ноября 2019