Introducción a Prolog - EXACTAS UNICEN · 2011. 9. 19. · Introducción Introducción a Prolog...

Post on 19-Jan-2021

23 views 0 download

Transcript of Introducción a Prolog - EXACTAS UNICEN · 2011. 9. 19. · Introducción Introducción a Prolog...

Introducción

Introducción a PrologJavaLog y SWI-Prolog

José M. Balmaceda

Programación Exploratoria, 2011

Balmaceda, José Introducción a Prolog

Introducción JavaLog

JavaLog

¿Qué es JavaLog?

Es un interprete de PROLOG implementado en Java.Fue desarrollado en la UNICEN.Posee entorno gráfico.También se lo puede incluir desde aplicaciones java y utilizarlocomo una herramienta.

DescargaInstalaciónEjecución

Balmaceda, José Introducción a Prolog

Introducción JavaLog

JavaLog

¿Qué es JavaLog?Descarga

Página de la Materia, sección Softwarehttp://www.exa.unicen.edu.ar/catedras/prog_exp/Descargar el enlace recomendado.

InstalaciónEjecución

Balmaceda, José Introducción a Prolog

Introducción JavaLog

JavaLog

¿Qué es JavaLog?DescargaInstalación

ejecutan el archivo JavaLog.exe que descargaron.eligen el directorio de destino de la instalación.

Ejecución

Balmaceda, José Introducción a Prolog

Introducción JavaLog

JavaLog

¿Qué es JavaLog?DescargaInstalaciónEjecución

ejecutar el archivo JavaLog.bat que está dentro de la carpetadestino que eligieron.no debería ser necesaria la modificación de ningún archivo paraque funcione.

Balmaceda, José Introducción a Prolog

Introducción JavaLog

JavaLog

Balmaceda, José Introducción a Prolog

Introducción JavaLog

JavaLog

Balmaceda, José Introducción a Prolog

Introducción JavaLog

JavaLog

Balmaceda, José Introducción a Prolog

Introducción JavaLog

JavaLog

Balmaceda, José Introducción a Prolog

Introducción JavaLog

JavaLog

Balmaceda, José Introducción a Prolog

Introducción JavaLog

JavaLog

Balmaceda, José Introducción a Prolog

Introducción JavaLog

JavaLog

Balmaceda, José Introducción a Prolog

Introducción JavaLog

JavaLog

Balmaceda, José Introducción a Prolog

Introducción JavaLog

JavaLog

Balmaceda, José Introducción a Prolog

Introducción JavaLog

JavaLog

Balmaceda, José Introducción a Prolog

Introducción JavaLog

JavaLog

Balmaceda, José Introducción a Prolog

Introducción JavaLog

JavaLog

Balmaceda, José Introducción a Prolog

Introducción JavaLog

JavaLog

Balmaceda, José Introducción a Prolog

Introducción JavaLog

JavaLog

Balmaceda, José Introducción a Prolog

Introducción JavaLog

JavaLog

Balmaceda, José Introducción a Prolog

Introducción JavaLog

Linux

JavaLogSWI-Prolog

Balmaceda, José Introducción a Prolog

Introducción JavaLog

Linux

JavaLog

descargar la segunda opción y ejecutarla con “java -jarJavaLog.jar”.necesitan modificar el archivo “JavaLog.sh” para que se ejecutecorrectamente.

SWI-Prolog

Balmaceda, José Introducción a Prolog

Introducción JavaLog

Linux

JavaLogSWI-Prolog

Instalación: “sudo apt-get install swi-prolog”Ejecución: tipear “prolog” desde una consolaLa sintaxis en la misma que la de JavaLog, y debería devolverlos mismos resultados.listar cláusulas: listing.Cargar archivos: consult(nombre archivo sin “.pl”).Re-Evaluación: “;”

Balmaceda, José Introducción a Prolog