asd3434234rewfgtrgh4tht

adssddsaadadsdsadsadsadsadsadsa
dsa
a
sa
a
a
a
a

ads
dsa
s
ds
ad
ad
sa
d
asd
a
ds
sad
as
da
sd
asd
as
d
ad
ad

dsa
aadds
asdds1312312r
efggfeg- esMalo(_).
Así, conla variable anónima, estoy preguntando si existe un malo. Bueno, eso es cierto:
?- esMalo(_).
true
Ahora bien, veamos qué sucede si preguntamos si es cierto que "no existe un malo"
?-not(esMalo(_)).
false
Por último, recordemos que la variable anónima es igual que cualquier otra variable, por lo que éstas dos consultas tienen el mismo significado, de si "existe un malo":
?- esMalo(_).true
?- esMalo(X).
true.
La única diferencia es que en el caso con la X, Prolog tratará de darme ejemplos de X que hacen verdadera esa consulta. Pero ambas quieren decir "existe algún malo". Entonces,la siguiente consulta dará falso:
?- not(esMalo(X)).
false.
Porque estoy preguntando si "no existe un malo".
Inversibilidad

Agreguemos lo siguiente al ejemplo:
esPersona(feinmann).esPersona(hadad).
esPersona(echecopar).
esPersona(bambi).
esPersona(fer).
esPersona(lucas).
esBueno(Persona):- not(esMalo(Persona)).
Problema
Veamos el resultado de la siguiente consulta:
?-esBueno(lucas).
true.
?- esBueno(fer).
true.
Y ahora tratemos de preguntar si existe algún bueno (claro que existen!):
?- esBueno(X).
false.
¿¿Qué pasó?? Además, nuestro predicado esBueno sigueteniendo problemas, observemos lo que sigue:
?- esBueno(34).
true.
Si bien el número 34 nos gusta mucho, sería conceptualmente incorrecto aceptar que fuera bueno, ya que nuestro dominio trabaja conpersonas, y es sobre ellas que, en éste caso, queremos verificar la propiedad de ser buenas.
Interpretación
Mi regla dice que se cumple esBueno(X), si se cumple not(esMalo(Persona)). Y por lo que vimosarriba, si hago una consulta existencial ó variable (es decir, que llegan las variables sin ligar con un individuo)... ¡Eso es falso! (Leer más arriba) Además, ya vimos que por el concepto de Universo...