Contents |
El forall es un predicado, o sea, no conviene pensar qué “hace”, sino qué relaciona, y/o cuándo se verifica. El predicado forall conviene pensarlo por lo segundo, o sea cuándo se verifica.
El forall recibe dos parámetros, los dos deben ser consultas. Las consultas se hacen sobre predicados, o sea que forall es un predicado de orden superior, porque puede manejar predicados dentro de sus parámetros.
Hagámosnos la pregunta … ¿cuándo se verifica? Cuando a todos los que les pasa lo primero, les pasa lo segundo. Dicho un poco más “en técnico”, cuando todas las respuestas de la primer consulta son respuestas de la segunda.
Entonces, en las situaciones donde decimos “a todos los que …blah… les pasa …bleh…” es probable que el forall nos venga bien.
partimos de estos hechos
Home
Artículos
dulce(chocolate).
dulce(caramelo).
dulce(durazno).
amargo(radicheta).
amargo(cebada).
leGusta(roque,chocolate).
leGusta(roque,radicheta).
leGusta(pepe,cebada).
% ... y muchos hechos más que describen los gustos de un grupo de personas
colorDePelo(roque,colorado).
colorDePelo(pepe,castanio).
% ... etc. con los colores de pelo
vive(roque,buenosAires).
vive(pepe,mendoza).
vive(lucas,salliquelo).
% ... y donde vive cada persona de la que queremos hablar
ciudadGrande(buenosAires).
ciudadGrande(mendoza).
% ... y así todas las ciudades grandes
y queremos definir esTierno/1, donde decimos que una persona es tierna si todas las cosas que le gustan son dulces.
Estamos en un caso candidato a forall: “a todas las cosas que le gustan les tiene que pasar ser dulces”. En Prolog:
esTierno(Persona):- forall(leGusta(Persona, Alimento), dulce(Alimento)).
… una Persona es tierna si … todas las cosas que le gustan son dulces, exactamente lo que dijimos en castellano.
Ahora quiero definir el predicado alimentoCurioso/1, un alimento es curioso si solamente le gusta a gente de pelo colorado. Para darme cuenta que el forall me puede servir, lo pienso en términos de “a todos los que … les tiene que pasar …”. A veeer
Queda
alimentoCurioso(Alimento):- forall(leGusta(Persona, Alimento), esColorado(Persona)).
¿Está bien si defino esTierno así?
esTierno(Persona):- forall(dulce(Alimento), leGusta(Persona, Alimento)).
Claramente no, porque estaría pidiendo que le gusten todos los alimentos dulces.
Si programar va a consistir en definir condiciones, es relevante entender la diferencia entre
Supongamos que hacemos esta consulta:
?- esTierno(roque).
La variable Persona de esTierno se liga con roque … entonces el forall se va a verificar (ver la definición técnica) cuando
todas las respuestas a la consulta leGusta(roque,Alimento)
verifiquen la consulta dulce(Alimento)
Para cada respuesta a la consulta leGusta(roque,Alimento), la variable Alimento se va a ligar, en el ejemplo hay dos respuestas, una con chocolate y otra con cebada. La consulta correspondiente ya viene con esa variable ligada, o sea que las consultas que se tienen que verificar para que se verifique el forall son
esDulce(chocolate).
esDulce(cebada).
Volvamos a la definición: el forall se verifica si todas las respuestas a la primer consulta son respuestas de la segunda. Mirando el ejemplo de recién debería cerrar el esquema.
¿Qué pasa si consultamos si lucas es tierno y en nuestra base de conocimientos no hay nada que le guste?
?- esTierno(lucas).
Esta consulta va a ser cierta, porque si no le gusta nada, es cierto que todas las cosas que le gustan son dulces. Si nos interesa que sólo diga verdadero para las personas que les gusta algo, debemos agregar otra condición fuera del forall que lo asegure.
Veamos qué pasa con las variables y la inversibilidad. ¿Será inversible el predicado esTierno/1? Hagamos la consulta con una variable en el argumento
?- esTierno(X).
En este caso la variable Persona llega sin ligar al forall. Entonces la primer consulta es
leGusta(Persona, Alimento).
Para cada una de las respuestas a esta consulta, se tiene que verificar
esDulce(Alimento)
donde Alimento es lo que ligó la primer consulta.
¿Cuáles son las respuestas a la primer consulta? Todos los pares (persona,alimento) relacionados por leGusta. Entonces, el forall sólo se va a verificar si cualquier cosa que le guste a alguien, no importa a quién, es dulce.
Claro, no es lo que queremos. Para lograr lo que queremos, tenemos que lograr que la variable Persona llegue ligada al forall mediante generación:
esTierno(Persona):- persona(Persona), forall(leGusta(Persona, Alimento),esDulce(Alimento)).
Una que no falla:
fíjense que siempre decimos “a todos los blah que les pasa la consulta 1, les tiene que pasar la consulta 2”.
Bueno, para ese “blah” va a haber una variable, que es Alimento en el caso de esTierno (si todos los alimentos que le gustan …) y P para alimentoCurioso (si todas las personas a quienes les gusta …). Esa variable tiene que llegar al forall sin ligar. El resto de las variables por lo general deben llegar ligadas.
Qué pasa si se tienen que cumplir varias condiciones: digamos que un alimento es peculiar si todas las personas a las que le gusta son colorados y porteños … nos queda
entonces la segunda consulta es un “y” entre dos condiciones.
Si pongo
esPeculiar(Alimento):- forall(leGusta(Persona, Alimento), colorDePelo(Persona, colorado), vive(Persona,buenosAires)).
está mal, porque el forall lleva dos parámetros, no tres. Necesito agrupar colorDePelo(…) y vive(…), para eso los encierro entre paréntesis, queda
esPeculiar(Alimento):- forall(leGusta(Persona, Alimento), (colorDePelo(Persona, colorado), vive(Persona, buenosAires))).
Pregunto: ¿está bien
esPeculiar(Alimento):- forall((leGusta(Persona, Alimento), colorDePelo(Persona, colorado)), vive(Persona, buenosAires)).
? No, porque estaría pidiendo que todos los colorados a los que les gusta el alimento vivan en Buenos Aires.
Una que les queda para pensar: ahora tengo que decir que un alimento es marketinable si todas las personas a las que les gusta viven en ciudades grandes. No me interesa que el predicado sea inversible.
Tiro tres opciones: elijan la correcta y piensen por qué eligieron esa.
esMarketinable(Alimento):- forall(leGusta(Persona, Alimento), vive(Persona, Ciudad), ciudadGrande(Ciudad)). % opción 1
esMarketinable(Alimento):- forall((leGusta(Persona, Alimento), vive(Persona, Ciudad)), ciudadGrande(Ciudad)). % opción 2
esMarketinable(Alimento):- forall(leGusta(Persona, Alimento), (vive(Persona, Ciudad), ciudadGrande(Ciudad))). % opción 3