findall/3은 솔루션 대신 빈 목록을 반환합니다.

Question

문제를 해결하기 위해 GNU Prolog를 사용합니다. 나는 다음과 같은 조건을 정의했습니다 :

% P is the product of X and Y 
produit(X,Y,P) :- 
    between(2,200,X), 
    between(2,200,Y), 
    X #<# Y, 
    X*Y #=# P. 

% S is the sum of X and Y 
somme(X,Y,S) :- 
    between(2,200,X), 
    between(2,200,Y), 
    X #<# Y, 
    X+Y #=# S. 

%je ne peux pas deviner 
clue_one(X,Y) :- 
    produit(X,Y,P), 
    XX*YY #=# P, 
    XX #\=# X, 
    XX #\=# 1, 
    YY #\=# 1, 
    XX #\=# Y. 

%je le savais 
clue_two(S) :- 
    forall(somme(X,Y,S), clue_one(X,Y)). 

프롤로그 clue_two(17)에 해당하지만 findall(S, clue_two(S), L)을하려고 할 때, GNU 프롤로그가 빈 목록을 반환 말한다. 왜?

Answer 1

forall/2 사실상의 표준 조건은 동일하다 : 때문에 부정 사용에

forall(Generator, Test) :- 
    \+ (Generator, \+ Test). 

, Generator 또는 Test 중 하나에 대한 호출로 인한 더 바인딩은 반환되지 않습니다.