我使用 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)).
Prolog 说这clue_two(17)
是真的,但是当我尝试时 findall(S, clue_two(S), L)
,GNU Prolog 返回空列表。为什么?