cutConjunctionAndBacktrackingTheory
A database containing the following rules:
a(X) :- b(X).
a(6).
b(X) :- c(X), d(X).
b(4) :- !.
b(5).
c(1).
c(2) :- !.
c(3).
d(2).
d(3).Content copied to clipboard
A database containing the following rules:
a(X) :- b(X).
a(6).
b(X) :- c(X), d(X).
b(4) :- !.
b(5).
c(1).
c(2) :- !.
c(3).
d(2).
d(3).