我必须在 SWI 中断言这种 CLP(FD) 规则:
asserta(schedule(A,B) :- V = [S0,S1,S2],V ins 0..sup).
但我收到此错误:
ERROR: Syntax error: Operator expected
ERROR: asserta(schedule(A,B) :- V = [S0,S1,S2],V
ERROR: ** here **
ERROR: ins 0..sup) .
为什么?谢谢你!