Die Anzahl der zutreffenden Prädikate zählen und

Question

begrenzen

Gibt es eine bestimmte Möglichkeit, die Anzahl der verfügbaren echten Prädikate mit einer bestimmten Tatsache zu begrenzen?

Im Moment habe ich total (2). als Tatsache. Ich dachte, das würde funktionieren:

: - gesamt (N), #count {x: something_to_limit (x)} = K, K = N.

Dies gilt jedoch nicht die Anzahl der something_to_limit Prädikate auf die angegebene Gesamt begrenzen (2) Tatsache wobei N 2.

Jede Hilfe sehr geschätzt :)

Answer 1

Die x in x:something_to_limit(x) ist würde entsprechen würde ein konstantes Symbol, möchten Sie wahrscheinlich Variablen X verwenden. Die Bedingung

:- total(N), #count{X:something_to_limit(X)} = K, K=N. 

sollte funktionieren.