constraint-handling-rules

4熱度

1回答

我正試圖編寫一個程序，該程序在運行時在SWI-Prolog中生成新約束。 is_true([A,means,B])意在運行時產生另一個約束： :- use_module(library(chr)). :- chr_constraint is_true/1. is_true([A,means,B]) ==> (is_true(A) ==> is_true(B),writeln('asserte

0熱度

1回答

表示約束處理規則邏輯或

我寫在序言約束求解器實現了一個簡單的邏輯公式： "(alive(A) and animal(A)) iff (awake(A) or asleep(A))"。我發現它實施約束處理規則的一種方式，但它比原來的公式更詳細： :- use_module(library(chr)). :- chr_constraint is_true/1. is_true(A) \ is_true(A) <=>