swi-prolog

3зной

2ответ

Вот простой CLPFD соотношение: 1 #= 81 mod X. Это возвращает: X in inf.. -1\/1..sup, 81 mod X#=1. Если моя математика не является абсолютно неправильным, не область X быть -80.. -1\/1..80?

-1зной

1ответ

Код пролога не работает на SWISH

Собака может выполнять следующие действия: ходить по полу; подняться на ящик (если он уже в коробке); и схватить мясо, если он стоит на коробке прямо под мясом. но когда я запускаю ниже код, но я полу

0зной

1ответ

Emacs падает с SWI-прологом

Я пытаюсь запустить emacs с SWI-прологом на mac, используя «emacs». команда. Однако, когда я делаю это, он мгновенно вылетает, прежде чем у меня будет шанс увидеть сообщение об ошибке, отображаемое в

1зной

1ответ

Запросить пролог динамически

Есть ли способ запросить базу знаний пролога динамически? У меня есть логика пролога в файле family.pl (пример, который я нашел здесь http://www.techytalk.info/prolog-programming-gprolog-linux/). Вот

-1зной

1ответ

Prolog (SWI): строка интерполяция

Есть ли предикат, доступный через библиотеку SWI-Prolog, который предоставляет механизм для интерполяции в строки? Что я имею в виду, будет работать следующим образом: string(hello, %s, David) Однак

1зной

1ответ

SWI-Prolog xml_write to variable

Как сделать xml_write переменной вместо потока? Я попытался это: current_output(O), with_output_to(string(X), xml_write(O,[element(table, [style="width:50%"], [element(tr, [span =

3зной

1ответ

Выполнение make на http_deamon swi proog

Если я запускаю веб-сайт с помощью http_deamon на сервере, это возможно для ssh на сервере, тогда откройте интерфейс пролога, запустите некоторые запросы, в частности создайте и закройте интерфейс с е

0зной

1ответ

Обработка дополнительных параметров HTTP в Prolog

Я пытался написать простой веб-сервис в Prolog и задавался вопросом, как я могу обрабатывать необязательные параметры. Я думал, что с library(http/http_parameters) это может быть столь же простым, как