answer-set-programming - 计算真谓词的数量并限制

Question

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

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

:- 总计(N), #count{x:something_to_limit(x)} = K, K=N。

但是，这不会将 something_to_limit 谓词的数量限制为指定的 total(2) 事实，其中 N 等于 2。

任何帮助将不胜感激：）

Answer 1

xin是一个常量符号，x:something_to_limit(x)您可能想要使用 variables X。约束

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

应该管用。