% clausulas
hermano("juan", "pedro").
hijo("juancito", "juan").
tio(X, Y) :- hermano(Z, X), hijo(Y, Z).
% consultas
?- write('1. '), tio
("pedro"
, "juancito"
), writeln
('Pedro es tio de Juancito'). ?- write('2. '), tio
("pedro"
, A
), write('Pedro es tio de '), writeln
(A
). ?- write('3. '), tio
("juancito"
, B
), write('Juancito es tio de '), writeln
(B
).
JSBjbGF1c3VsYXMKaGVybWFubygianVhbiIsICJwZWRybyIpLgpoaWpvKCJqdWFuY2l0byIsICJqdWFuIikuCnRpbyhYLCBZKSA6LSBoZXJtYW5vKFosIFgpLCBoaWpvKFksIFopLgoKJSBjb25zdWx0YXMKPy0gd3JpdGUoJzEuICcpLCB0aW8oInBlZHJvIiwgImp1YW5jaXRvIiksIHdyaXRlbG4oJ1BlZHJvIGVzIHRpbyBkZSBKdWFuY2l0bycpLgo/LSB3cml0ZSgnMi4gJyksIHRpbygicGVkcm8iLCBBKSwgd3JpdGUoJ1BlZHJvIGVzIHRpbyBkZSAnKSwgd3JpdGVsbihBKS4KPy0gd3JpdGUoJzMuICcpLCB0aW8oImp1YW5jaXRvIiwgQiksIHdyaXRlKCdKdWFuY2l0byBlcyB0aW8gZGUgJyksIHdyaXRlbG4oQiku
1. Pedro es tio de Juancito
2. Pedro es tio de juancito
3.
Warning: /home/FDcjoB/prog:9:
Goal (directive) failed: user: (write('3. '),tio("juancito",_G1420),write('Juancito es tio de '),writeln(_G1420))
ERROR: '$runtoplevel'/0: Undefined procedure: program/0
Exception: (3) program ? EOF: exit