Dakujem vsetkym za odpovede.
Skusil som zadat nasledujucu databazu:
leaf(_).
tree(leaf(_)).
tree(L,R) :- tree(L),tree(R).
A skusil som nasledujuce prikazy:
?- leaf(1).
true.
?- tree(leaf(1),leaf(2)).
true.
?- tree(tree(leaf(1),leaf(2)),leaf(3)).
false.
?- tree(tree(leaf(1),leaf(2)),tree(leaf(3),leaf(4))).
false.
Nerozumiem tomu, ako je to mozne.