% 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.
