Есть ли какой-либо встроенный предикат в SWI-Prolog, который всегда будет давать сбой и предотвращать возврат машины - это остановка немедленного выполнения программы (это не то, что делает fail/0 )? Я мог бы использовать порезы, но они мне не...

Эта программа на Прологе определяет третий аргумент как максимальное значение первых двух числовых аргументов: max(X, Y, X) :- X >= Y, !. max(X, Y, Y). Я думаю, что эта программа работает просто отлично. Но мне сказали, что это может дать...

У меня есть следующие пункты: num_parent(adam, X) :- !, X = 0. num_parent(eve, X) :- !, X = 0. num_parent(X, 2). Когда я набрал запрос: num_parent(eve,X). Он возвращает только: X = 0. чего я и хочу. Но когда я...

Выполняя упражнение 10.4 на learnprolognow , может кто-нибудь объяснить мне или помогите мне представить, почему для ?- p(X),p(Y) мы получаем: X=1,Y=1; X=1,Y=2; X=2, Y=1; X=2, Y=1. И не только X=1, Y=1; X=1, Y=2. Я думаю, что неправильно...

Я пытаюсь реализовать интерпретатор пролога в java. Я пытаюсь понять, как должен работать оператор ','. Я попытался реализовать такое эквивалентное правило: and(A, B) :- A, B. Я тестирую свою реализацию на основе приведенной ниже логической...

Все реализации функционального языка программирования scheme должны выполнить оптимизацией хвостового вызова всякий раз, когда это применимо. Есть ли у iso-prolog ? и / или аналогичные требования? Мне ясно, что функции процессора Prolog,...

Я делаю упражнение по написанию between/3 , которое принимает дополнительное значение шага. Это интересное упражнение, быстро показывающее: преимущество тегированных целых чисел (т.е. используйте pos(X) вместо X , если X является...