% Jsou Zuzana a Josef manželé?
manzele(zuzana,josef).

% Jsou Jan a Ivana manželé?
manzele(jan,ivana).

% Kdo je Martinův dědeček?
dedecek(X,martin).

% Jak se jmenují Janova vnoučata?
vnouce(X,jan).

% Má Jan nějaká vnoučata?
vnouce(_,jan).

% Je Jana něčí babičkou?
babicka(jana,_).