]> git.somenet.org - pub/jan/ewbs-dlv.git/blob - constraints.dl
SomeNet / public repos / pub / jan / ewbs-dlv.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
all connect tests run now
[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