참 조건부의 수를 계산하고 제한하기

Question

지정된 사실을 사용하여 참 조건부의 수를 제한 할 수있는 특정 방법이 있습니까?

현재 총 (2)이 있습니다. 사실로. 나는 이것이 작동 할 것이라고 생각했다 :

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

그러나 이것은 N 어떤 도움이 크게 감상 할 :)

Answer 1

x:something_to_limit(x)의 x가되는

같을 것이다 지정된 총 2 사실 something_to_limit 술어의 수를 제한하지 않는다 상수 기호 인 경우 변수 X을 사용하려고합니다. 제약 조건

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

이 작동해야합니다.