计算真谓词的数量并限制

Question

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

目前我有总数（2）。作为事实。 我认为这会起作用：

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

然而，这不会将 something_to_limit 谓词的数量限制为指定的总数 (2) 个事实，其中 N 等于 2。

任何帮助将不胜感激:)

Answer 1

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

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

应该可以。