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

В общем, кажется, что GNU Prolog использует 28-битное целое число на моем 32-битном x86 Linux. Код ниже не может быть скомпилирован: foo(A) :- A0 is 0xdeadbeef, A1 is A0 >> 8, A2 is A0 >> 16, A3 is A0 >> 24....

Я использовал штуку gprolog, чтобы делать некоторые вещи в прологе. Но теперь, тестируя еще какой-то код, я обнаружил, что он не поддерживает "false". Что поддерживает swi?

EDIT: я только что скомпилировал gprolog из исходников. Все работает нормально. Версия 1.4.5 в репозитории Debian содержит ошибки. Это моя первая программа на GNU Prolog (gprolog) без каких-либо успехов. :-( Я нашел эти упражнения в...

Я пытаюсь решить логическую задачу с помощью Пролога в качестве обучающего упражнения, и я думаю, что правильно сопоставил проблему с помощью решателя конечных областей GNU Prolog. Когда я запускаю функцию решения, Пролог выдает ответ: yes и...

Я хотел бы использовать такие предикаты, как: range(X,0,5) range(X,4,200) range(X,-1000000,1000000) dom_range(X,-1000000,1000000) со смыслом: range(X,0,5) :- member(X,[0,1,2,3,4,5]). range(X,4,200) :- member(X,[4,5,6...198,199,200])....

Итак, я работаю с GNU Prolog на bash-сервере в своем университете, и мне нужно увеличить размер глобального стека. Пробовал компилировать со следующими параметрами: gprolog --global-size 16384 --init-goal 'consult('test')' где test —...

другой способ задать вопрос: Как я могу перечислить все свойства атома? Например: movie(agora). director(agora, 'Alejandro Amenabar') duration(agora, '2h'). Итак, я хотел бы получить все предикаты, которые имеют агору для аргумента....

Я новичок в прологе и хотел написать Wampus AI с прологом + java, пытаясь сделать логику в прологе и графический интерфейс в java, но я застрял и очень базовый уровень. в общем у меня есть что-то подобное в моей базе знаний parent(john,...

В основном я пытаюсь смоделировать разыменование указателя C, используя gnu-prolog. Вот код: Пролог :-foreign(fun(+integer,-integer)). % p = &b; testfun(Var, Val) :- fun(Val, Var). main :- A is 1, testfun(A, P), write(P), C:...