name = 'father/2' slug = 'the father-child relation' description = '''\
father(X, Y): X is the father of Y.
father(X, Y)
X
Y
?- father(thomas, william). true. ?- father(aleksander, X). X = luana ; X = daniela.