fork(7) download
  1. % clausulas
  2. hermano("juan", "pedro").
  3. hijo("juancito", "juan").
  4. tio(X, Y) :- hermano(Z, X), hijo(Y, Z).
  5.  
  6. % consultas
  7. ?- write('1. '), tio("pedro", "juancito"), writeln('Pedro es tio de Juancito').
  8. ?- write('2. '), tio("pedro", A), write('Pedro es tio de '), writeln(A).
  9. ?- write('3. '), tio("juancito", B), write('Juancito es tio de '), writeln(B).
Success #stdin #stdout #stderr 0.03s 7940KB
stdin
Standard input is empty
stdout
1. Pedro es tio de Juancito
2. Pedro es tio de juancito
3. 
stderr
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