Diferencias

Muestra las diferencias entre dos versiones de la página.

--- introalg:taller09_1 [2009/03/21 21:14] – laura
+++ introalg:taller09_1 [2018/08/10 03:03] (actual) – editor externo 127.0.0.1
@@ Línea 154: / Línea 154: @@
    - un término se puede unificar con otro término si la función que los contiene es la misma, tiene la misma cantidad de argumentos y los argumentos se pueden unificar entre ellos (fíjense que esto es un procedimiento recursivo, ya que puede ser que los argumentos sean términos y que el procedimiento para unificación de términos tenga que aplicarse también a ellos).
+===Pensando un poco más sobre variables y unificación===
-====Ejercicios====
+Supongamos que estamos trabajando con el siguiente conjunto de hechos (o base de conocimiento):
+<code>
+    wizard(ron).
+    hasWand(ron).
+    hasBroom(ron).
+    quidditchPlayer(harry).
+    wizard(X) :- hasBroom(X),hasWand(X).
+    hasBroom(X) :- quidditchPlayer(X).
+</code>
+Cómo responde prolog a las siguientes preguntas?
+  * wizard(ron).
+  * witch(ron).
+  * wizard(hermione).
+  * witch(hermione).
+  * wizard(harry).
-  - Expresen reglas las relaciones entre los miembros de la familia que describimos aquí mediante hechos:
+Y ahora, introduzcamos algún cambio:
 <code>
-mujer(pepa).
+  wizard(X) :- hasBroom(X),hasWand(_).
-mujer(lucía).
-mujer(rosa).
-mujer(alba).
-mujer(blanca).
-hombre(armando).
-hombre(julián).
-hombre(esteban).
-hombre(mario).
-hombre(alejandro).
-progenitor().
-progenitor().
 </code>
+Qué efectos tiene este cambio? Por qué?
+====Desconocimiento: mensajes de alerta y de error====
+El intérprete nos va a avisar cuando haya algún error o bien alguna cosa que le parece extraña en el archivo. Es importante leer los mensajes que nos dá el intérprete para interpretar qué está pasando en cada momento. Muchas veces se trata de cosas sin importancia:
+<code>
+?- ['ejemplo.pl'].
+Warning: /Users/la/fen/introalg09/taller/prolog/ejemplo.pl:6:
+	Clauses of wizard/1 are not together in the source-file
+Warning: /Users/la/fen/introalg09/taller/prolog/ejemplo.pl:7:
+	Clauses of hasBroom/1 are not together in the source-file
+% ejemplo.pl compiled 0.00 sec, 0 bytes
+true.
+?-
+</code>
+En este caso, lo único que nos dice el intérprete es que las aserciones que hacen referencia a wizard no están todas juntas en el archivo "ejemplo.pl". Nos avisa porque cree que es más elegante tener todas las referencias a un mismo predicado juntas en la base de conocimiento, para que la base de conocimiento sea más ordenada.
+<code>
+Warning: /Users/la/fen/introalg09/taller/prolog/ejemplo.pl:2:
+	Redefined static procedure wizard/1
+Warning: /Users/la/fen/introalg09/taller/prolog/ejemplo.pl:3:
+	Redefined static procedure hasWand/1
+</code>
+Acá el intérprete se queja porque había espacio en blanco delante del predicado, de la siguiente forma:
+<code>
+      wizard(ron).
+hasWand(ron).
+</code>
+Algunas veces el intérprete se queja porque no le hemos definido los predicados que pretendemos usar, eso sí es grave, ya que no se puede realizar la interpretación, y por eso el intérprete nos lo marca como ERROR:
+<code>
+?- witch(hermione).
+ERROR: toplevel: Undefined procedure: witch/1 (DWIM could not correct goal)
+?-
+</code>
+<code>
+?- wizard(harry).
+ERROR: wizard/1: Undefined procedure: hasWand/1
+</code>
+A veces le exigimos operaciones demasiado complicadas al intérprete, la máquina no tiene suficiente capacidad y nos quedamos sin recursos, por ejemplo:
+<code>
+?- caballero(a).
+ERROR: Out of local stack
+</code>
+Para salir de esta situación, el intérprete nos dá el siguiente mensaje:
+<code>
+Action (h for help) ?
+</code>
+Si presionamos la tecla 'h', nos aparecen diferentes opciones:
+<code>
+Action (h for help) ? Options:
+a:                 abort      b:                 break
+c:                 continue   e:                 exit
+g:                 goals      t:                 trace
+h (?):             help
+Action (h for help) ?
+</code>
+Si presionamos la tecla 'a', salimos de la ejecución, si presionamos la tecla 'e', salimos del intérprete.
+El próximo día vamos a ver un poco más qué pasa con la opción 't', que nos permite ver los pasos por los que va pasando el intérprete. También vamos a entrar un poco más en detalle en funciones complejas, y vamos a ver más sistemáticamente las cuestiones de aridad de las funciones, que en prolog se expresan con barra y número: 'hasWand/1', 'a/0', etc.
+====Ejercicios====
   - Digan cuáles de estas expresiones unifican y cuáles no (de la página sobre [[http://en.wikipedia.org/wiki/Unification|unificación]] de la wikipedia):
     * A = A
@@ Línea 185: / Línea 255: @@
     * A = f(A)
     * A = abc, xyz = X, A = X
+  - Implementen una regla que diga "cuando llueve, me resfrío". Fíjense que para que el intérprete conteste ''true'' a la pregunta "yo me resfrío?", el antecedente de la implicación tiene que ser cierto...
+  - Ahora un ratito de reflexión (sólo 10-15 mins, luego pasen al siguiente ejercicio). Recuerdan a los caballeros y pícaros? Traten de formalizar las oraciones que hablan de ellos y vean qué pasa. Vean qué cosas tienen que formalizar para la máquina, vean si anda, vean si la máquina puede lidiar con tanta complejidad...
+  - Expresen en reglas las relaciones entre los miembros de la familia que describimos aquí mediante hechos:
+<code>
+mujer(pepa).
+mujer(lucía).
+mujer(blanca).
+mujer(rosa).
+mujer(alba).
+mujer(inés).
+mujer(irene).
+hombre(armando).
+hombre(julián).
+hombre(esteban).
+hombre(mario).
+hombre(alejandro).
+hombre(martín).
+hombre(matías).
+progenitor(pepa,lucía).
+progenitor(pepa,blanca).
+progenitor(pepa,mario).
+progenitor(lucía,rosa).
+progenitor(lucía,alba).
+progenitor(blanca,inés).
+progenitor(blanca,martín).
+progenitor(irene,matías).
+progenitor(armando,lucía).
+progenitor(armando,blanca).
+progenitor(armando,mario).
+progenitor(julián,rosa).
+progenitor(julián,alba).
+progenitor(alejandro,inés).
+progenitor(alejandro,martín).
+progenitor(mario,matías).
+</code>
+Escriban reglas para expresar las relaciones ''padre, madre, abuelo, abuela, hermano, hermana, tío, tía, primo, prima'' y también ''hijo único''.
+El libro [[http://www.learnprolognow.org/|Learn Prolog Now!]], de Patrick Blackburn, Johan Bos and Kristina Striegnitz tiene un montón de ejercicios muy bien explicados para practicar. Yo les recomiendo:
+  * en la [[http://cs.union.edu/~striegnk/learn-prolog-now/html/node13.html#sec.l1.exercises|primera tanda de ejercicios]], el 1.4 y 1.5
+  * en la [[http://cs.union.edu/~striegnk/learn-prolog-now/html/node21.html#sec.l2.exercises|segunda tanda de ejercicios]], todos!