% CPSC 312 backtracking example
:- dynamic f/0.
a :- b, c, d.
a :- e.
b.
c :- s.
c :- t.
d :- f.
e :- t.
e :- s.
s.
t.
% CPSC 312 backtracking example
:- dynamic f/0.
a :- b, c, d.
a :- e.
b.
c :- s.
c :- t.
d :- f.
e :- t.
e :- s.
s.
t.