UTNianos

necesito ayuda con el predicado write, no se como se usa y tengo que resolver el siguiente problema. Gracias!


Dado el siguiente programa:

padrede('juan', 'maria'). % juan es padre de maria
padrede('pablo', 'juan'). % pablo es padre de juan
padrede('pablo', 'marcela'). % pablo es padre de marcela
padrede('carlos', 'debora'). % carlos es padre de debora
hijode(A,B) :- padrede(B,A).
abuelode(A,B) :- padrede(A,C), padrede(C,B).
hermanode(A,B) :- padrede(C,A), padrede(C,B), A \== B.
familiarde(A,B) :- padrede(A,B).
familiarde(A,B) :- hijode(A,B).
familiarde(A,B) :- hermanode(A,B).

Agregue predicados write para mostrar el encabezado de las clausulas y el valor de sus variables durante la ejecución del programa.