Question

编写谓词complst / 3，如果给定版本具有给定的顺序关系，则为true。顺序将是：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).

但问题是，除非我按回车键，否则输出将永远不会停止。任何人都可以帮我解决这个问题吗？在此先感谢!!

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

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

1 个答案: