prolog - 如何在序言中检查订单？

Question

我试图在序言中解决这个难题

Five people were eating apples, A finished before B, but behind C. D finished before E, but behind B. What was the finishing order?

我当前的解决方案有单例变量，我不知道如何解决这个问题。

finishbefore(A, B, Ls) :- append(_, [A,B|_], Ls).

order(Al):-
   length(Al,5),
   finishbefore(A,B,Al),
   finishbefore(C,A,Al),
   finishbefore(D,E,Al),
   finishbefore(B,D,Al).
%%query
%%?- order(Al).

Answer 1

让我们更正 finishbefore/3 :

finishbefore(X, Y, L) :-
  append(_, [X|R], L),
  memberchk(Y, R).

然后让我们对已知约束进行编码:

check_finish_time(Order) :-
  forall(
    member(X<Y, [a<b,c<a, d<e,d<b]),
    finishbefore(X,Y,Order)).

现在让我们测试所有可能的排序

?- permutation([a,b,c,d,e],P),check_finish_time(P).

我得到 9 个解决方案，使用 ; 回溯...也许存在应该编码的隐式约束。
编辑
抱歉打扰了，已找到错误。交换最后一个约束顺序，即 b<d而不是 d<b ，现在只允许 1 个解决方案...