1

如果给定的版本具有给定的顺序关系，则写一个谓词 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).

但问题是，除非我按回车，否则输出永远不会停止。任何人都可以帮我解决这个问题吗？提前致谢！！

4

1 回答 1

1

以这种方式比较两个软件版本列表只有三种可能。第一个小于、等于或大于第二个。在第一种情况下lt,le适合。在第二种情况下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) 
  ).
于 2012-08-01T08:10:16.903 回答