prolog

0зной

1ответ

Не получить теорию в Aleph for SWI Prolog

Я пытаюсь заставить Алефа работать и вызывать простую теорию: grandparent (X, Z): - отец (X, Y), отец (Y, Z). Однако я возвращаю атом (например, grandparent (john, johnJuniorJunior)). Надеюсь, кто-то

3зной

1ответ

SICStus Prolog: Найти все решения

Есть ли способ показать все решения и/или найти, сколько их имеется в прологе SICSTus? Например, приведенный ниже код может быть использован для решения проблемы окраски карты. :- use_module(library(c

-1зной

1ответ

Сравнение переменной и предиката в Prolog

Я хочу проверить, является ли переменная, скажем X, предикатом формы add (). Как проверить, верно ли это? X == add () не работает, и X не добавляет (_). Как я могу достичь такого сравнения?

0зной

1ответ

Пролог рекурсивной

я получил следующую базу знаний, которая, как предполагается, чтобы добавить два аргумента и дают результаты: add(0,X,X). add(succ(X),Y,succ(R)):- add(X,Y,R). Теперь это мой запрос: ?- add(succ(suc

0зной

1ответ

Depth First Search Prolog

Я пытаюсь решить проблему с водой, кувшином (один 7L, один 4L, получить 5L в кувшине 7L), используя первый поиск. Однако что-то продолжает идти не так, как только я пытаюсь вернуть новое состояние из

1зной

1ответ

Создайте и загрузите копию экземпляра SWI-Prolog с JPL

То, что я пытаюсь сделать, это создать копию экземпляра Prolog и загрузить эту копию с помощью JPL (интерфейса Java-Prolog). Я могу придумать несколько возможных способов сделать это, но ни один из ни