]> git.somenet.org - pub/jan/ewbs-dlv.git/blob - constraints.dl
GITOLITE.txt
[pub/jan/ewbs-dlv.git] / constraints.dl
1 %constraints
2
3 :- c(C,O,X), c(C,O,Y), X < Y.
4 :- p(C,O,X), p(C,O,Y), X < Y.
5 :- out_c(O,X), out_c(O,Y), X < Y.
6 :- out_p(O,X), out_p(O,Y), X < Y.
7