プロローグリストの記憶

Question

私はリストを生成するプログラムを持っており、異なる段階でそこから特定の要素を取り除きます。 4つの除去段階があり、4番目を呼び出すと1,2,3,3が呼び出されます。述語はs4（Q、100）と呼ばれ、同じプレスタイル形式のs1、s2、s3もあります（Q、100 ）。ステージS1で

、私は彼らが持っているどのように多くの要因に依存する要素を削除するので、私はこれが今リストQマイナス望ましくない要素を持っている

removePrimes(Q,L). 

を呼び出すことによって、別の述語にQを渡します。しかし、Qは変更されておらず、依然としてすべての元の要素を持っています。

私の質問は、QにLの結果を与える方法はありますか？その値はs2に渡って再び変更することができますか？ここで

は、あなたがより良い私は

s4(Q,X):- 
    s3(Q,X). 

s3(Q,X):- 
    s2(Q,X). 

s2(Q,X):- 
    s1(Q,X). 

    %Further alter the list here 
    %Q is not passed back, since it is unchanged in s1 

s1(Q,X):- 
    s0(Q,X), 
    %remove the undesired elements 
    removePrimes(Q,L). 

    %L now contains the list we need, but Q is unchanged!!! 

s0(Q, N) :- 
    %generate the list 
    validPair(Q). 

Answer 1

sTotal(L) :- 
    validPair(Q), 
    s1(Q, Q2), 
    s2(Q2, Q3), 
    s3(Q3, Q4), 
    ... 
    sN(QN, L). 

はそのトリックを行うべきです。

編集、あなたのコードから行く：この等価とあまりにも冗長バージョンという

s4(X, N):- 
    s3(Q), 
    dostuff(Q, X, N). 

s3(L):- 
    s2(Q), 
    doblah(Q, L). 

s2(L):- 
    s1(Q), 
    dosomethingwithalist(Q, L). 

s1(L):- 
    s0(Q), 
    removePrimes(Q,L). 
s0(Q) :- 
    validPair(Q). 

注：

s4(X, N) :- 
    validPair(Q), 
    removePrimes(Q, Q2), 
    dosomethingwithalist(Q2, Q3), 
    doblah(Q3, Q4), 
    dostuff(Q4, X, N). 

Answer 2

いや何を意味するかを見ることができるように、プロローグは単一代入を使用して自分のコードの残りの部分です。元のリストの代わりに新しいリストを渡す必要があります。

だけでなく、いくつかの実装（SWI-プロローグなど）と（あるいはあなたが/リトラクト主張することができます）を更新することができ、グローバル変数をサポートしていますが、本当に、特にこのような場合には、それを使用することをお勧めしていない