List 如何用Prolog编写complst/3谓词？

如果给定的版本具有给定的顺序关系，则编写一个谓词complst/3。顺序为：lt、le、gt、ge或eq（小于、小于或等于、大于、大于或等于、等于）中的一个，并且谓词对于所有应用的关系都应为true。比如说,

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

complst（[]、[]、Cmp）：-
Cmp=eq！。
complst（[A]、[B]、Cmp）：-
A>B，
Cmp=gt。
complst（[A]、[B]、Cmp）：-
A=B，
Cmp=ge。
complst（[A]、[B]、Cmp）：-
A=Y，
cmp_列表（[X]，[Y]，cmp）。
complst（[X | XS]，[Y | YS]，Cmp）：-
X

但问题是，除非我按enter键，否则输出永远不会停止。 任何人都可以帮我解决这个问题吗？？

---

提前谢谢

以这种方式比较两个软件版本列表只有三种可能性。第一个小于、等于或大于第二个。在第一种情况下，

lt，le

fit。在第二种情况下，

le，eq，ge

fit。在第三个-

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

---

以这种方式比较两个软件版本列表只有三种可能性。第一个小于、等于或大于第二个。在第一种情况下，

lt，le

fit。在第二种情况下，

le，eq，ge

fit。在第三个-

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