Я реализую геометрический доказатель теоремы в Sicstus Prolog;и чтобы решить проблему с возвратом...

Я хотел бы получить этот результат: ?- numberMatrixLines(1,[[1,1,1,1,1,1,1,1],[1,1,1,1,1,1,1,1],[1...

Я столкнулся с этим разрезом, который должен возвращать true, если существует ребро A-B или B-A для...

Мне нужно перебрать диапазон чисел (например, используя between/3) от 1 до Length, где Length -...

Довольно плохо знаком с прологом и пытаюсь решить некоторые упражнения.Имея базу знаний о...

Рассмотрим следующую программу Prolog: transform([], []). transform([X | Xs],[Y | Ys]):-...

Отказ от ответственности: Это неофициальная и не оцененная курсовая работа, которую я должен...

В Прологе с использованием разреза. Почему результат следующего запроса возвращает следующее: ?- !...

fact(1,1):-!. fact(N,F):- N1=N-1, fact(N1,F1), F=F1*N. Это приводит к переполнению стека (не сайта)

Я нашел этот хороший фрагмент для разбора lisp в Прологе (от здесь ): ws --> [W], { code_type(W,...

hi(g,plus(A,B),int) :- hi(g,A,int),hi(g,B,int),!. в приведенном выше утверждении, что означает "!"...

У меня были проблемы с этими двумя строками: list_swizzle(L, [], L). list_swizzle([], L, L)....

в этой задаче у меня есть база данных Prolog, заполненная, например, ребром (1,0), ребром (2,0),...

Я реализовал следующую функцию в прологе со следующим кодом: abs2(X, Y) :- X < 0, Y is -X....

Есть ли в SWI-Prolog какой-либо встроенный предикат, который всегда будет давать сбой И мешать...

pred(Args). pred(Args) :- goalA, goalB, !, pred(Args). pred(Args) :- goalC, goalD, !, pred(Args)....