Wie erzwinge ein Ergebnis falsch in Prolog

Question

Ich möchte wissen, ob es möglich ist, ein Ergebnis zu erzwingen, z.

test(0, 0, 0). 

in Prolog falsch sein.

Answer 1

Ja, Sie können es mit einem kleinen Helfer Prädikat tun wie so:

:- use_module(library(clpfd)). 

test_(X,Y,Z) :-      % base relation 
    Z #= X+Y.       % here: integer sum 

test(X,Y,Z) :-       % exclude (0,0,0) as a solution 
    abs(X) + abs(X-Y) + abs(Y-Z) #\= 0, 
    test_(X,Y,Z). 

Beispielabfragen:

?- test(1,1,2). 
true 
?- test(1,-1,0). 
true 

Hinweis, wie die unerwünschte Lösung ausgeschlossen ist:

 
?- test_(0,0,0).   % 0+0 = 0 
true 
?- test(0,0,0). 
false