我試圖用SWI-Prolog解決一些相互遞歸的約束。這些限制都比較簡單,但在查詢任何這些謂詞導致無限遞歸: %If X is an animal, then X is a bird or a mammal, and vice-versa.
animal(X) :-
(mammal(X);bird(X)),
(male(X);female(X)).
male(X) :- a
我正在使用Choco求解器並給定了一個int變量數組,我想要一個約束來檢查數組中的至少一個var是否等於靜態值......類似IntConstraintFactory#count但有下列文檔 東西: /**
* Let N be the number of variables of the VARIABLES collection assigned to value VALUE;
* Enfo