1

指定されたバージョンが指定された順序関係を持っている場合に真になる述語 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).

しかし問題は、Enter キーを押さない限り出力が停止しないことです。誰でもこの問題を解決するのを手伝ってくれますか?? 前もって感謝します！！

4

1 に答える 1

1

この方法で2つのソフトウェアバージョンリストを比較する可能性は3つだけです。最初の値が2番目の値よりも小さいか、等しいか、大きいかのいずれかです。最初のケースではlt,le適合します。2番目のケースではle,eq,ge適合します。3番目に- ge,gt。

つまり、2つのリストの要素をペアごとに比較できます。最初または3番目のケースが検出されるとすぐに、値を生成できます。それ以外の場合は、次のペアまたは要素に進みます。

2つのリストに沿った再帰の標準的なスケルトンは次のとおりです。

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 に答える