{"id":212,"date":"2018-09-11T19:26:54","date_gmt":"2018-09-12T01:26:54","guid":{"rendered":"http:\/\/virtual.cuautitlan.unam.mx\/intar\/?page_id=212"},"modified":"2021-07-11T14:09:28","modified_gmt":"2021-07-11T19:09:28","slug":"prolog","status":"publish","type":"page","link":"https:\/\/virtual.cuautitlan.unam.mx\/intar\/?page_id=212","title":{"rendered":"PROLOG"},"content":{"rendered":"

PROLOG<\/strong><\/h1>\n

PROLOG (https:\/\/www.swi-prolog.org\/<\/a>) es un lenguaje de programaci\u00f3n basado en el paradigma l\u00f3gico, este lenguaje es utilizado principalmente para aplicaciones de inteligencia artificial. El desarrollo de PROLOG se inici\u00f3 en 1970 con Alain Coulmeauer y Philippe Roussel. El nombre corresponde a “PROgramming in Logic\u201d (Programaci\u00f3n en l\u00f3gica).<\/p>\n

PROLOG utiliza un lenguaje basado en declaraci\u00f3n de hechos, preguntas y reglas. Busca relacionar los diferentes hechos existentes en su base de conocimientos por medio de secuencias l\u00f3gicas enlazadas, para de esta forma lograr alcanzar una conclusi\u00f3n l\u00f3gica partiendo de predicados determinados.
\nAlgunas de las caracter\u00edsticas de este lenguaje son que:<\/p>\n

a) Esta basado en predicados l\u00f3gicos.
\nb)\u00a0 Se centra en la resoluci\u00f3n del problema, m\u00e1s que en c\u00f3mo llegar a esa soluci\u00f3n.
\nc) Solo contin\u00faa su ejecuci\u00f3n, si los objetivos se van cumpliendo.
\nd) El usuario se centra m\u00e1s en los conocimientos que en los algoritmos.
\ne) Se parte de lo conocido a lo desconocido.<\/p>\n

Aunque el lenguaje es aplicado principalmente en sistemas inteligentes y sistemas expertos (Merritt, 2021), (Mizoguchi, 1983), (Singla, 2013)\u00a0 , puede llegar a tener aplicaciones m\u00e1s variadas, tal como la generaci\u00f3n de protocolos de seguridad inform\u00e1tica (Blanchet, 2001), o el balanceo de sistemas el\u00e9ctricos (Kok et al., 2008) .<\/p>\n

Un ejemplo de definici\u00f3n de predicados y reglas en PROLOG se ilustra en la figura 2.<\/p>\n

\"\"
\nFig. 2. Estructura b\u00e1sica de PROLOG de: a) un predicado simple, b) un predicado con dos argumentos, c) una regla que usa dos predicados para su soluci\u00f3n.<\/p>\n

Referencias<\/h2>\n

Blanchet, B. (2001, June). An efficient cryptographic protocol verifier based on prolog rules. In csfw<\/i>\u00a0(Vol. 1, pp. 82-96).<\/p>\n

Kok, K., Derzsi, Z., Gordijn, J., Hommelberg, M., Warmer, C., Kamphuis, R., & Akkermans, H. (2008, January). Agent-based electricity balancing with distributed energy resources, a multiperspective case study. In\u00a0Proceedings of the 41st Annual Hawaii International Conference on System Sciences (HICSS 2008)<\/i>\u00a0(pp. 173-173). IEEE.<\/p>\n

Merritt, D. (2012).\u00a0Building expert systems in Prolog<\/i>. Springer Science & Business Media<\/p>\n

Mizoguchi, F. (1983). PROLOG based expert system.\u00a0New Generation Computing<\/i>,\u00a01<\/i>(1), 99-104.<\/p>\n

Singla, J. (2013). The diagnosis of some lung diseases in a prolog expert system.\u00a0International Journal of Computer Applications<\/i>,\u00a078<\/i>(15).<\/p>\n","protected":false},"excerpt":{"rendered":"

PROLOG PROLOG (https:\/\/www.swi-prolog.org\/) es un lenguaje de programaci\u00f3n basado en el paradigma l\u00f3gico, este lenguaje es utilizado principalmente para aplicaciones de inteligencia artificial. El desarrollo de PROLOG se inici\u00f3 en 1970 con Alain Coulmeauer y Philippe Roussel. El nombre corresponde a “PROgramming in Logic\u201d (Programaci\u00f3n en l\u00f3gica). PROLOG utiliza un lenguaje basado en declaraci\u00f3n de … <\/p>\n

Continuar leyendo “PROLOG”<\/span><\/a><\/p>\n","protected":false},"author":3,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-212","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/virtual.cuautitlan.unam.mx\/intar\/index.php?rest_route=\/wp\/v2\/pages\/212"}],"collection":[{"href":"https:\/\/virtual.cuautitlan.unam.mx\/intar\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/virtual.cuautitlan.unam.mx\/intar\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/virtual.cuautitlan.unam.mx\/intar\/index.php?rest_route=\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/virtual.cuautitlan.unam.mx\/intar\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=212"}],"version-history":[{"count":10,"href":"https:\/\/virtual.cuautitlan.unam.mx\/intar\/index.php?rest_route=\/wp\/v2\/pages\/212\/revisions"}],"predecessor-version":[{"id":1201,"href":"https:\/\/virtual.cuautitlan.unam.mx\/intar\/index.php?rest_route=\/wp\/v2\/pages\/212\/revisions\/1201"}],"wp:attachment":[{"href":"https:\/\/virtual.cuautitlan.unam.mx\/intar\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=212"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}