% 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).