Swi-Prolog asserta error
i must assert in SWI this kind of CLP(FD) rules:
asserta(schedule(A,B) :- V = [S0,S1,S2],V ins 0..sup).
but i get this error:
ERROR: Syntax error: Operator expected
ERROR: asserta(schedule(A,B) :- V = [S0,S1,S2],V
ERROR: ** here **
ERROR: ins 0..sup) .
why? thank you!