Test case for cut.
R(x) :- A(x),!,B(x)
A(a)
A(b)
A(x) :- C(x)
A(x) :- D(x)
C(c)
D(d)
B(a)
B(b)
No result expected: first substitution on the left side of the cut is c, but (c)
is not supported.
author: Jens Dietrich version: 3.4 <7 March 05> since: 2.1