prolog - 几何类比，为什么我没有得到更多的答案？

Question

这是我的序言代码:

figure(1, middle(circle, circle)).
figure(2, top_left(circle, circle)).
figure(3, bottom_right(circle, circle)).
figure(4, middle(square, square)).
figure(5, top_left(square, square)).
figure(6, top_right(square, square)).
figure(7, bottom_right(square, square)).
figure(8, bottom_left(square, square)).

relate(F1, F2, Relation) :-
    (   figure(F1, middle(X, Y)),  figure(F2, middle(Y, X)), F1 \== F2 ->
        Relation = invert
    ;   figure(F1, middle(X, X)), figure(F2, middle(Y, Y)), F1 \== F2 ->
        Relation = same_in_out
    ;   figure(F1, top_left(X, X)), figure(F2, bottom_right(Y, Y)), F1 \== F2 ->
        Relation = opposite
    ;   figure(F1, top_right(X, X)), figure(F2, bottom_left(Y, Y)), F1 \== F2 ->
        Relation = opposite
    ;   relate(F2, F1, Relation)
    ).

analogy((F1, F2), (F3, X)) :-
    relate(F1, F2, Relation), relate(F3, X, Relation).

代表这一套

这是一个简单的执行:

| ?- relate(2, X, Y).

X = 3
Y = opposite;

no
| ?- relate(2, 7, X).

X = opposite;

no

我的问题是，当我关联 (2, X, Y) 时，为什么我没有 X = 7, Y = 对立？

谢谢你。

Answer 1

因为您使用 if-then-else，而 Prolog 不会从这样的构造中回溯:

?- (member(X, [1,2,3]) -> Y = hello ; Y = goodbye).
X = 1,
Y = hello.

?-

If-then-else 真正用于高效的确定性计算。如果您想要非确定性/回溯，您应该使用普通的连词、析取和事实列表来重写您的谓词:

relate(F1, F2, Relation) :-
    figure(F1, Fig1),
    figure(F2, Fig2),
    relate_(Fig1, Fig2, Relation),
    F1 \== F2.

relate_(middle(X, Y), middle(Y, X), invert).
% etc.