Solución:
falla porque fail debe fallar.
El corte elimina las alternativas, luego prohíbe los valores que de otro modo serían ‘devueltos’ por medio de X vinculante. Tratar
a(X) :- b(X),c(X),fail.
...
obtendrás
?- a(X).
X = 4.
ejemplo :
a(X):- b(X),!,fail. %is the same as + a(X):- b(X).
la fusión de “!” y “fallar” te da el negativo de a (X).
se llama el Negación por fracaso.
¡Haz clic para puntuar esta entrada!
(Votos: 0 Promedio: 0)