:- dynamic g/0, h/0, i/0, k/0, l/0, m/0, n/0.
a :- b, c.
a :- e, f.
b :- f, k.
c :- e.
d :- k.
e.
f :- j, e.
f :- c.
j :- c.
:- dynamic g/0, h/0, i/0, k/0, l/0, m/0, n/0.
a :- b, c.
a :- e, f.
b :- f, k.
c :- e.
d :- k.
e.
f :- j, e.
f :- c.
j :- c.