プロローグカウント知識ベース

Question

私は私の知識ベースでのこのようなものを持っている：

countnumbers(X). 
X = 6. 

：今

number(1). 
number(3). 
number(6). 
number(8). 
number(9). 
number(12). 

、私は知識ベースに、例がいくつあるかの数字を評価述語が必要

どうすればいいですか？ 、私はプロローグとの新たなんだと私はあなたのデータベースからすべての事実を得るために

Answer 1

使用findall/3をこれを理解し、リストの長さを取得することはできませんしてください。

countnumbers(X) :- 
    findall(N, number(N), Ns), 
    length(Ns, X). 

は注意してください：number/1組み込み述語であってもよい。

Answer 2

Xがいくつかの述語を満たした回数を知る必要がある場合は、それらのすべてを知る必要はありません。 findall/3の使用は本当にそのようなタスクでは冗長です。あなたが6人か606人いるときにはX - これは大したことではありません。しかし、あなたが本当に大きくて重いジェネレータを持っている場合、あなたはリスト内のすべての値を保持し、それからその長さを数える必要はありません。

numberr(1). 
numberr(3). 
numberr(6). 
numberr(8). 
numberr(9). 
numberr(12). 

countNumbers(Numbers) :- 
    aggregate(count, X^numberr(X), Numbers). 

X^は "Xが存在する" という意味なので、全体の式は、その数Numbersを数値X numberr(X)をカウントして呼び出す」のようなものを意味しそう

：

Aggregate

はよくこの問題を解決します。