prolog - 序幕中的卡住目标

我想卡住我的目标，直到某些变量(例如list)不受限制，现在我有了

sieve(N,L) :-
   freeze(Aux,sieve(N,L,[],Aux)),
   numlist(2,N,Aux).

sieve(N,L,R,[H|T]) :-
   freeze(X, X mod H =\= 0 ; X == H),
   findall(X,select(X,T,_),P),
   sieve(N,L,[H|R],P).
sieve(_,L,L,[]).

但是它会在某些操作后停止并永远等待。有人可以告诉我如何解决这个问题吗？

最佳答案

好的，我找到了解决方案，我不得不更改sieve中的递归调用，所以现在我以卡住谓词调用它。

按照要求
我在这里找到线索Lazy lists in Prolog?

sieve(N,L) :-
    sieve(L,Strumien,[]),
    numlist(2,N,X),
    X = Strumien.

sieve(L,Strumien,X) :-
    freeze(Strumien,
        (   Strumien =[H|T],
            filter(H,T,Z),
            sieve(L,Z,[H|X])
        )).
sieve(L,[],L).

filter(H,S,X) :-
    filter(H,S,X,[]).

filter(_,[],X,X).
filter(H,S,X,Y) :-
    freeze(S,S =[H1|T]),
    ( H1 mod H =\= 0 ->
        append(Y,[H1],Y2),
        filter(H,T,X,Y2)
    ;
        filter(H,T,X,Y)
    ).

关于prolog - 序幕中的卡住目标，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/30726836/