Деление с остатком - Prolog

Формулировка задачи:

Код в .pl:

isnumber(zero).
isnumber(s(X)) :- isnumber(X).
 
plus(zero,X,X) :- isnumber(X).
plus(s(X),Y,s(Z)) :- plus(X,Y,Z).
 
remainder(X,X,zero).
remainder(X,Y,R) :- plus(X,Y,Q), remainder(Q,Y,R).

Когда проверяю в программе, результат всегда такой же, как тут : никакого ответа вообще нет, ни true, ни false, ни error, вообще ничего.

Решение задачи: «Деление с остатком»

textual
                            Листинг программы 
                        

                            lessthanequal(zero,X):- isnumber(X).
lessthanequal(s(X),s(Y)) :- lessthanequal(X,Y).
 
remainder(X,Y,X) :- lessthanequal(X,Y).
remainder(X,Y,R) :- plus(X1,Y,X), remainder(X1,Y,R).
                        

Оцени полезность:

9 голосов , оценка 3.889 из 5

Похожие ответы