Formalización de la Lógca Clásica Proposicional en Prolog

Ponente(s): Cristian Ramos Sánchez, Pedro Alberto Antonio Soto, Verónica Borja Macías

Prolog es un lenguaje de programación declarativo, su nombre proviene de la traducción al inglés "Programación en Lógica" (PROgramming in LOGic). A diferencia de los lenguajes imperativos (como Python, C o Java), en Prolog no se escriben instrucciones paso a paso,  sino que se definen hechos y reglas para realizar consultas con el objetivo de que el sistema infiera respuestas basadas en definiciones previas. Suele utilizarse principalmente para aplicaciones de inteligencia artificial y procesamiento simbólico. En esta charla veremos las nociones básicas de este lenguaje para poder hacer uso de sus herramientas y construir un demostrador automático para la Lógica Clásica Proposicional usando tableaux semánticos.