使用Fail，Backtracking Prolog查找列表的最小值

Question

我想使用失败来计算列表的最小值，这会导致回溯。我如何更改最小的（最小，x，min）以使其正常工作。

%min(X, A, B) X is the min of A, B
min(X, X, Y) :- X =< Y.
min(Y, X, Y) :- Y < X.
member(X, [X|_]).
member(X, [_|Ys]) :-
  member(X,Ys).
program :-
  Min is 1000,
  (member(X, [1, 2, 3, 4]),
  writeln(X),
  min(Min, X, Min), %This is wrong !
  fail;
  writeln(Min),
  true).

我以前用于计算最小的工作代码

solve([Head|Rest], Ans) :-
   solve(Rest, Till),
   min(Ans, Head, Till). 

，但我不想这样做，因为为了打电话解决，我正在做类似的事情

program :-
   findall(X, solve(List, X), Z).

导致找到X的所有解决方案并存储在内存中。此方法不适用于大型投入，被杀死。

因此，我想计算每个求解电话的最小值，而不是像使用Findall一样存储。

Answer 1

如果您担心内存使用情况，则不应使用猜测和检查隐喻（使用故障意味着您正在使用）。有一个完全不需要故障的O（n）算法。

minlist(Min, [X|Xs]) :- minlist(X, Xs, Min).
minlist(Min, [], Min).
minlist(MinSoFar, [X|Xs], Min) :-
    min(NextMin, MinSoFar, X),
    minlist(NextMin, Xs, Min).