如何用Prolog写一个复杂的/3谓词？

Question

编写一个谓词complst/3，如果给定的版本具有给定的顺序关系，则该谓词为真。顺序将是: lt、le、gt、ge或eq之一(小于、小于或等于、大于、大于或等于、等于)，并且谓词对于所有适用的关系都应该为真。例如,

?- complst([2,3,4], [2,3,5], C).
C = lt ;
C = le .

?- complst([1,2,3,4], [1,1,8], C).
C = gt ;
C = ge .

为了达到目标，我写了一个谓词：

complst([], [], Cmp) :-
    Cmp = eq, !.

complst([A], [B], Cmp) :-
    A > B,
    Cmp = gt.

complst([A], [B], Cmp):-
    A < B,
    Cmp = lt.

complst([A], [B], Cmp):-
    A >= B,
    Cmp = ge.

complst([A], [B], Cmp):-
    A =< B,
    Cmp = le.

complst([], [B], Cmp):-
    Cmp = le, !.

complst([], [B], Cmp):-
    Cmp = lt, !.

complst([A], [], Cmp):-
    Cmp = ge, !.

complst([A], [], Cmp):-
    Cmp = gt, !.

complst([X|XS], [Y|YS], Cmp):-
    X > Y,
    cmp_list([X], [Y], Cmp).

complst([X|XS], [Y|YS], Cmp):-
    X < Y,
    cmp_list([X], [Y], Cmp).

complst([X|XS], [Y|YS], Cmp):-
    X == Y,
    cmp_list(XS, YS, Cmp).

但问题是，除非我按enter键，否则输出永远不会停止。有人能帮我解决这个问题吗？？提前感谢！！

Answer 1

以这种方式比较两个软件版本列表只有三种可能性。第一个参数小于、等于或大于第二个参数。在第一种情况下，lt,le fit。在第二种情况下，le,eq,ge拟合。在第三个- ge,gt中。

这意味着您可以成对比较两个列表的元素。一旦检测到第一种或第三种情况，您就可以立即生成值。否则，继续到下一对或下一个元素。

沿着两个列表递归的标准框架是

recur( [], [], X):- end_of_two_lists_reached(X).
recur( [], [_|_], X):- second_list_is_longer(X).
recur( [_|_], [], X):- first_list_is_longer(X).
recur( [A|A2], [B|B2], X):- two_elements_are(A,B,C),
  (   continue_recursing(C)
  ->  recur(A2,B2,X) 
  ;   stop_recursing(C,X) 
  ).