sada

Como el mecanismo de reducción es hacia atrás partimos de una conclusión para obtener evidencias, síntomas y datos. Por lo tanto nuestra conclusión es la siguiente:
es_pariente_de(john,tom).
Sabiendo que john es pariente de tom hay varias reglas posibles a aplicar para llegar a esa resolución:

es_pariente_de(X,Y) :- es_antepasado_de(X,Y) & not X=Y.
es_pariente_de(X,Y) :- es_antepasadoIndirecto_de(X,Y) & not X=Y.
es_pariente_de(X,Y) :- es_descendiente_de(X,Y) & not X=Y.
es_pariente_de(X,Y) :- es_hermano_de(X,Y) & not X=Y.
es_pariente_de(X,Y) :-es_antepasadoIndirecto_de(Y,X) & not X=Y.

Teniendo estas reglas debemos buscar los hechos entre John y Tom que nos sea relevante:
es_padre_de(fred,tom).
es_padre_de(john,fred).
Sabiendo que Fred es padre de tom y que john es padre de fred podemos deducir varias cosas:
es_antepasado_de(X,Y) :- es_padre_de(X,Y).
es_antepasado_de(X,Y) :- es_padre_de(X,Z) & es_antepasado_de(Z,Y).
Sabemos que John es antepasado de Fred porque John es padre de Fred y tambien sabemos que Fred es antepasado de Tom por la misma regla. Ademas sabiendo esa información como John es padre de Fred y ademas Fred es antepasado de Tom sabemos que John es antepasado de Fred.
Ahora habiendo recopilado todos estos hechos podemos hacer uso de una de las reglas de descendencia que mencionamos anteriormente:
es_pariente_de(X,Y) :- es_antepasado_de(X,Y) & not X=Y.
Esta regla nos confirma efectivamente que John es pariente de Tom ya que John es antepasado de Tom y John no es Tom