Test case for cut. kb contributed by
Alex Kozlenkov (A.Kozlenkov@city.ac.uk)
d(x,y) :- a(x,y)
d(u1,y) :- a(u1,y)
a(x,z) :- b(y),!,c(y,z)
a(x,y) :- b(x)
b(u1)
b(u2)
c(u1,u2)
c(u1,u3)
c(u2,u1).
The expected result is {(x,u2),(x,u3),(u1,y)}.
author: Jens Dietrich version: 3.4 <7 March 05> since: 2.1