计算真实谓词的数量和限制

Question

我是否有特定的方法可以使用指定的事实来限制可用的真实谓词的数量？

目前我有总数（2）。作为一个事实。 我认为这样可行：

： - 总（N），＃count {x：something_to_limit（x）} = K，K = N。

但是，这不会将something_to_limit谓词的数量限制为指定的总数（2），其中N等于2.

非常感谢任何帮助：）

Answer 1

x中的x:something_to_limit(x)是常量符号，您可能希望使用变量X。约束

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

应该有用。