Реализация моего предиката преемника

Question

Я знаю, что у Prolog есть свой предикат для обработки наследников, но я хочу сделать свой собственный для упражнений.

Вот код моего текущего положительного преемника:

successor(0,1). 
successor(X,Y) :- 
    X > 0, 
    Xx is X-1; 
    successor(Xx,Yx), 
    Y is Yx + 1. 

Когда я типа successor(O,1), У меня есть true successor(O,X) возвращается X = 1 successor(X,1) возвращает X = 0 successor(2,X) возвращает X = 3

Последнее, что мне не удастся делать это

successor(X,2) 

Он бросает и ошибка:

ERROR: >/2: Arguments are not sufficiently instantiated 

Я сделал свой след, и выяснил, что это сравнение неинициализированный переменной (X) для 0

Это потому, что я прошу об этом, но я не знаю, как исправить это, чтобы последний вызов работал, и все еще есть и другая работа.

Answer 1

Почему ваш код заботится о знаке? У вас есть 3 основных случаев здесь, ни один из которых особенно обеспокоены, где вы стоите относительно нуля на числовой прямой:

• связанного X; связанный Y.
• bound X; unbound Y,
• unbound X; связанный Y.

С этой целью ...

successor(X,Y) :- int(X), int(Y), Y =:= X+1 . 
successor(X,Y) :- int(X), var(Y), successor_x(X,Y) . 
successor(X,Y) :- var(X), int(Y), predecessor_y(X,Y) . 

successor_x(X,Y) :- T is X+1 , (Y = T ; successor_x(T,Y)) . 

predecessor_y(X,Y) :- T is Y-1 , (X = T ; predecessor_y(X,Y)) . 

Answer 2

Использование clpfd!

:- use_module(library(clpfd)). 

Определим successor/2 так:

successor(X0,X1) :- 
    X0 #>= 0, 
    X1 #= X0 + 1. 

Примеры запросов:

?- successor(_,0). 
false. 

?- N #< 0, successor(N,_). 
false. 

?- successor(X,1). 
X = 0. 

?- successor(X,2). 
X = 1. 

?- successor(2,X). 
X = 3. 

?- successor(X,Y). 
X in 0..sup, X+1 #= Y. 

Answer 3

Используйте этот код

successor(X,Y) :- var(X) -> X is Y - 1 ; Y is X + 1. 

сначала проверяет, если X связан, то Х экземпляр Y-1, иначе непосредственно распечатать Y как X + 1.

?- successor(90,L). 
    L = 91. 

    ?- successor(L,90). 
    L = 89. 

    ?- successor(L,-90). 
    L = -91. 

    ?- successor(-90,L). 
    L = -89.