Sesi\u00f3n correspondiente al mismo dea de teoria osea (19\/10\/2010).<\/p>\n
Hoy Carlos no ha avanzado en la teoria y ha dejado la clase para explicar posibles errores o avisos de compilador que nos pueden aparacer al realizar el programa en prolog.<\/p>\n
Tambi\u00e9n se han resuelto dudas que habia sobre la fase 3 del programa<\/p>\n
Entre los mensajes que nos puede sacar prolog de error o aviso est\u00e1n los siguientes:<\/p>\n
Correcciones:
\n-Si no escribamos correctamente una regla o predicado, prolog nos ayudar\u00e1 y nos muestrar\u00e1 la posible correcci\u00f3n, si entiende algo de lo que hemos puesto, d\u00e1ndonos la opci\u00f3n de no ejecutar la correcci\u00f3n o de ejecutarla, en cuyo caso ejecutar\u00e1 el predicado o regla que \u00e9l crea correcto.
\n?- vcino(carles_logicus).
\nCorrect to: \u201cvecino(carles_logicus)\u201d? yes<\/p>\n
Men\u00fa de ayuda
\n-Aparece al pulsar Ctrl+C o una tecla sin funcionamiento definido.
\nAction (h for help) ? Options
\na: abort b: break
\nc: continue e: exit
\ng: goals t: trace<\/p>\n
Cl\u00e1usulas separadas
\n-Este mensaje nos aparecer\u00e1 al compilar pero no es un error, nos indica que no tenemos todas las sentencias de \u201cX\u201d predicado juntas. Quiz\u00e1 tengamos un \u201cvecino\u201d en la primera l\u00ednea y despu\u00e9s de otros predicados, el siguiente \u201cvecino\u201d.
\nWarning: Clauses of vecino\/1 are not together in the
\nsource-file<\/p>\n
Procedimientos indefinidos
\n-Llamanda a una \u201cfunci\u00f3n\u201d con el n\u00famero de argumentos incorrecto.
\n-Ejemplo
\n?- lindes_zona(\u2018Bajo B\u2019, X, Y, Z).
\nERROR: Undefined procedure: lindes_zona\/4
\nERROR: However, there are definitions for: lindes_zona\/5<\/p>\n
Hemos puesto 4 argumentos pero \u201clindes_zona\u201d tiene 5.<\/p>\n
Variables Singleton
\n-Se inicializan a alg\u00fan valor y pero no se utilizan en ninguna operaci\u00f3n. Es decir, el int\u00e9rprete nos avisa de que esa variable no se utiliza en ninguna parte.<\/p>\n
Ejemplo:<\/p>\n
quien_grita :- ente(persona,P,H), ente(monstruo,M,H),
\nwrite(\u2018aaaahhh\u2019).<\/p>\n
P y M generar\u00e1n el mensaje de \u201cSingleton Variable\u201d.<\/p>\n","protected":false},"excerpt":{"rendered":"
Sesi\u00f3n correspondiente al mismo dea de teoria osea (19\/10\/2010). Hoy Carlos no ha avanzado en la teoria y ha dejado la clase para explicar posibles errores o avisos de compilador que nos pueden aparacer al realizar el programa en prolog. Tambi\u00e9n se han resuelto dudas que habia sobre la fase 3 del programa Entre los […]<\/p>\n","protected":false},"author":1754,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-43","post","type-post","status-publish","format-standard","hentry","category-general"],"_links":{"self":[{"href":"https:\/\/blogs.ua.es\/dar15\/wp-json\/wp\/v2\/posts\/43","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blogs.ua.es\/dar15\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blogs.ua.es\/dar15\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blogs.ua.es\/dar15\/wp-json\/wp\/v2\/users\/1754"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.ua.es\/dar15\/wp-json\/wp\/v2\/comments?post=43"}],"version-history":[{"count":2,"href":"https:\/\/blogs.ua.es\/dar15\/wp-json\/wp\/v2\/posts\/43\/revisions"}],"predecessor-version":[{"id":45,"href":"https:\/\/blogs.ua.es\/dar15\/wp-json\/wp\/v2\/posts\/43\/revisions\/45"}],"wp:attachment":[{"href":"https:\/\/blogs.ua.es\/dar15\/wp-json\/wp\/v2\/media?parent=43"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.ua.es\/dar15\/wp-json\/wp\/v2\/categories?post=43"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.ua.es\/dar15\/wp-json\/wp\/v2\/tags?post=43"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}