UTNianos

Lo que pide:
En nuestra agencia matrimonial ahora queremos conocer a las personas deseables.
Desarrollar esDeseable/1, sabiendo que una persona es deseable si es compatible con, por lo menos, dos personas distintas.
Ejemplo de uso (suponiendo que Juan es deseable):
?- esDeseable(juan).
true.
Nota: asumir que existe un predicado esCompatible/2, que dice si una mujer es compatible con un hombre.

Lo que pense:

esDeseable(Persona):- esCompatible(Persona,Persona1),
esCompatible(Persona,Persona2), Persona1\=Persona2.

esDeseable(Persona):- esCompatible(Persona1,Persona),
esCompatible(Persona2,Persona), Persona1\=Persona2.

Si pongo una sola de las dos reglas deja de ser inversible no?

Hola, aunque saques una regla tu predicado va a seguir siendo inversible, pero no va a satisfacer las pruebas para pasar este ejercicio, ya que en una regla se tienen en cuenta a los hombres deseables y en la otra regla se tienen en cuenta a las mujeres deseables.