Ejercicio 12: Problemas de inversibilidad, parte 2

Que un predicado sea inversible o no depende de la forma en que esté definido: qué predicados utilice y en que orden.

En este caso, la primera versión es inversible:

hermanoVersion2(Uno, Otro) :-
   padre(Padre, Uno),
   padre(Padre, Otro),
   Uno \= Otro.

mientras que la segunda no:

hermanoVersion1(Uno, Otro) :-
   Uno \= Otro,
   padre(Padre, Uno),
   padre(Padre, Otro).

El eje del problema radica en la condición Uno \= Otro.

¿Por qué? ¿Cúal es el problema del predicado? \=/2

Probá que sucede al hacer las siguientes consultas:

  • 4 \= 5
  • 4 \= 4
  • X \= 5
  • 4 \= X

Tenés que iniciar sesión antes de empezar a enviar tus soluciones