プロローグで結果をfalseに強制する方法

Question

結果を強制することができるかどうかを知りたい。

test(0, 0, 0). 

は、Prologでfalseにする必要があります。

Answer 1

はい、あなたはそうのような小さなヘルパー述語でそれを行うことができます。

:- 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). 

サンプルクエリ：不要なソリューションが除外されているか

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

注：まあ

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