Visual Prolog：任意流的最大数量

Question

我在尝试执行此代码时收到一条错误消息 Maximum number of anyflow variants (1000) exceeded：

findNegative([], []).
findNegative([Q|V], Y) :-
   Q > 0,
   !,
   findNegative(V, Y).
findNegative([H1|T1], S) :-
   findNegative(T1, [H1|S]).

尝试从这个答案执行代码时相同：

Answer 1

考虑以下代码：

find_negatives([],        [] ).
find_negatives([E|Es],    Xs ) :- E >= 0, find_negatives(Es, Xs).
find_negatives([E|Es], [E|Xs]) :- E <  0, find_negatives(Es, Xs).

示例查询：

?- find_negatives([1,2,3,-1,-2,-3,0,1,2,0,-1], Xs).
   Xs = [-1,-2,-3,-1]
;  false.

Visual Prolog：任意流的最大数量

Visual Prolog: Maximum number of anyflow

list

prolog

visual-prolog