introducción a prolog - exactas unicen · 2011. 9. 19. · introducción introducción a prolog...
TRANSCRIPT
![Page 1: Introducción a Prolog - EXACTAS UNICEN · 2011. 9. 19. · Introducción Introducción a Prolog JavaLog y SWI-Prolog José M. Balmaceda Programación Exploratoria, 2011 Balmaceda,](https://reader036.vdocuments.mx/reader036/viewer/2022081400/60a4eac8a2be892e351fbc35/html5/thumbnails/1.jpg)
Introducción
Introducción a PrologJavaLog y SWI-Prolog
José M. Balmaceda
Programación Exploratoria, 2011
Balmaceda, José Introducción a Prolog
![Page 2: Introducción a Prolog - EXACTAS UNICEN · 2011. 9. 19. · Introducción Introducción a Prolog JavaLog y SWI-Prolog José M. Balmaceda Programación Exploratoria, 2011 Balmaceda,](https://reader036.vdocuments.mx/reader036/viewer/2022081400/60a4eac8a2be892e351fbc35/html5/thumbnails/2.jpg)
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
![Page 3: Introducción a Prolog - EXACTAS UNICEN · 2011. 9. 19. · Introducción Introducción a Prolog JavaLog y SWI-Prolog José M. Balmaceda Programación Exploratoria, 2011 Balmaceda,](https://reader036.vdocuments.mx/reader036/viewer/2022081400/60a4eac8a2be892e351fbc35/html5/thumbnails/3.jpg)
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
![Page 4: Introducción a Prolog - EXACTAS UNICEN · 2011. 9. 19. · Introducción Introducción a Prolog JavaLog y SWI-Prolog José M. Balmaceda Programación Exploratoria, 2011 Balmaceda,](https://reader036.vdocuments.mx/reader036/viewer/2022081400/60a4eac8a2be892e351fbc35/html5/thumbnails/4.jpg)
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
![Page 5: Introducción a Prolog - EXACTAS UNICEN · 2011. 9. 19. · Introducción Introducción a Prolog JavaLog y SWI-Prolog José M. Balmaceda Programación Exploratoria, 2011 Balmaceda,](https://reader036.vdocuments.mx/reader036/viewer/2022081400/60a4eac8a2be892e351fbc35/html5/thumbnails/5.jpg)
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
![Page 6: Introducción a Prolog - EXACTAS UNICEN · 2011. 9. 19. · Introducción Introducción a Prolog JavaLog y SWI-Prolog José M. Balmaceda Programación Exploratoria, 2011 Balmaceda,](https://reader036.vdocuments.mx/reader036/viewer/2022081400/60a4eac8a2be892e351fbc35/html5/thumbnails/6.jpg)
Introducción JavaLog
JavaLog
Balmaceda, José Introducción a Prolog
![Page 7: Introducción a Prolog - EXACTAS UNICEN · 2011. 9. 19. · Introducción Introducción a Prolog JavaLog y SWI-Prolog José M. Balmaceda Programación Exploratoria, 2011 Balmaceda,](https://reader036.vdocuments.mx/reader036/viewer/2022081400/60a4eac8a2be892e351fbc35/html5/thumbnails/7.jpg)
Introducción JavaLog
JavaLog
Balmaceda, José Introducción a Prolog
![Page 8: Introducción a Prolog - EXACTAS UNICEN · 2011. 9. 19. · Introducción Introducción a Prolog JavaLog y SWI-Prolog José M. Balmaceda Programación Exploratoria, 2011 Balmaceda,](https://reader036.vdocuments.mx/reader036/viewer/2022081400/60a4eac8a2be892e351fbc35/html5/thumbnails/8.jpg)
Introducción JavaLog
JavaLog
Balmaceda, José Introducción a Prolog
![Page 9: Introducción a Prolog - EXACTAS UNICEN · 2011. 9. 19. · Introducción Introducción a Prolog JavaLog y SWI-Prolog José M. Balmaceda Programación Exploratoria, 2011 Balmaceda,](https://reader036.vdocuments.mx/reader036/viewer/2022081400/60a4eac8a2be892e351fbc35/html5/thumbnails/9.jpg)
Introducción JavaLog
JavaLog
Balmaceda, José Introducción a Prolog
![Page 10: Introducción a Prolog - EXACTAS UNICEN · 2011. 9. 19. · Introducción Introducción a Prolog JavaLog y SWI-Prolog José M. Balmaceda Programación Exploratoria, 2011 Balmaceda,](https://reader036.vdocuments.mx/reader036/viewer/2022081400/60a4eac8a2be892e351fbc35/html5/thumbnails/10.jpg)
Introducción JavaLog
JavaLog
Balmaceda, José Introducción a Prolog
![Page 11: Introducción a Prolog - EXACTAS UNICEN · 2011. 9. 19. · Introducción Introducción a Prolog JavaLog y SWI-Prolog José M. Balmaceda Programación Exploratoria, 2011 Balmaceda,](https://reader036.vdocuments.mx/reader036/viewer/2022081400/60a4eac8a2be892e351fbc35/html5/thumbnails/11.jpg)
Introducción JavaLog
JavaLog
Balmaceda, José Introducción a Prolog
![Page 12: Introducción a Prolog - EXACTAS UNICEN · 2011. 9. 19. · Introducción Introducción a Prolog JavaLog y SWI-Prolog José M. Balmaceda Programación Exploratoria, 2011 Balmaceda,](https://reader036.vdocuments.mx/reader036/viewer/2022081400/60a4eac8a2be892e351fbc35/html5/thumbnails/12.jpg)
Introducción JavaLog
JavaLog
Balmaceda, José Introducción a Prolog
![Page 13: Introducción a Prolog - EXACTAS UNICEN · 2011. 9. 19. · Introducción Introducción a Prolog JavaLog y SWI-Prolog José M. Balmaceda Programación Exploratoria, 2011 Balmaceda,](https://reader036.vdocuments.mx/reader036/viewer/2022081400/60a4eac8a2be892e351fbc35/html5/thumbnails/13.jpg)
Introducción JavaLog
JavaLog
Balmaceda, José Introducción a Prolog
![Page 14: Introducción a Prolog - EXACTAS UNICEN · 2011. 9. 19. · Introducción Introducción a Prolog JavaLog y SWI-Prolog José M. Balmaceda Programación Exploratoria, 2011 Balmaceda,](https://reader036.vdocuments.mx/reader036/viewer/2022081400/60a4eac8a2be892e351fbc35/html5/thumbnails/14.jpg)
Introducción JavaLog
JavaLog
Balmaceda, José Introducción a Prolog
![Page 15: Introducción a Prolog - EXACTAS UNICEN · 2011. 9. 19. · Introducción Introducción a Prolog JavaLog y SWI-Prolog José M. Balmaceda Programación Exploratoria, 2011 Balmaceda,](https://reader036.vdocuments.mx/reader036/viewer/2022081400/60a4eac8a2be892e351fbc35/html5/thumbnails/15.jpg)
Introducción JavaLog
JavaLog
Balmaceda, José Introducción a Prolog
![Page 16: Introducción a Prolog - EXACTAS UNICEN · 2011. 9. 19. · Introducción Introducción a Prolog JavaLog y SWI-Prolog José M. Balmaceda Programación Exploratoria, 2011 Balmaceda,](https://reader036.vdocuments.mx/reader036/viewer/2022081400/60a4eac8a2be892e351fbc35/html5/thumbnails/16.jpg)
Introducción JavaLog
JavaLog
Balmaceda, José Introducción a Prolog
![Page 17: Introducción a Prolog - EXACTAS UNICEN · 2011. 9. 19. · Introducción Introducción a Prolog JavaLog y SWI-Prolog José M. Balmaceda Programación Exploratoria, 2011 Balmaceda,](https://reader036.vdocuments.mx/reader036/viewer/2022081400/60a4eac8a2be892e351fbc35/html5/thumbnails/17.jpg)
Introducción JavaLog
JavaLog
Balmaceda, José Introducción a Prolog
![Page 18: Introducción a Prolog - EXACTAS UNICEN · 2011. 9. 19. · Introducción Introducción a Prolog JavaLog y SWI-Prolog José M. Balmaceda Programación Exploratoria, 2011 Balmaceda,](https://reader036.vdocuments.mx/reader036/viewer/2022081400/60a4eac8a2be892e351fbc35/html5/thumbnails/18.jpg)
Introducción JavaLog
JavaLog
Balmaceda, José Introducción a Prolog
![Page 19: Introducción a Prolog - EXACTAS UNICEN · 2011. 9. 19. · Introducción Introducción a Prolog JavaLog y SWI-Prolog José M. Balmaceda Programación Exploratoria, 2011 Balmaceda,](https://reader036.vdocuments.mx/reader036/viewer/2022081400/60a4eac8a2be892e351fbc35/html5/thumbnails/19.jpg)
Introducción JavaLog
JavaLog
Balmaceda, José Introducción a Prolog
![Page 20: Introducción a Prolog - EXACTAS UNICEN · 2011. 9. 19. · Introducción Introducción a Prolog JavaLog y SWI-Prolog José M. Balmaceda Programación Exploratoria, 2011 Balmaceda,](https://reader036.vdocuments.mx/reader036/viewer/2022081400/60a4eac8a2be892e351fbc35/html5/thumbnails/20.jpg)
Introducción JavaLog
JavaLog
Balmaceda, José Introducción a Prolog
![Page 21: Introducción a Prolog - EXACTAS UNICEN · 2011. 9. 19. · Introducción Introducción a Prolog JavaLog y SWI-Prolog José M. Balmaceda Programación Exploratoria, 2011 Balmaceda,](https://reader036.vdocuments.mx/reader036/viewer/2022081400/60a4eac8a2be892e351fbc35/html5/thumbnails/21.jpg)
Introducción JavaLog
Linux
JavaLogSWI-Prolog
Balmaceda, José Introducción a Prolog
![Page 22: Introducción a Prolog - EXACTAS UNICEN · 2011. 9. 19. · Introducción Introducción a Prolog JavaLog y SWI-Prolog José M. Balmaceda Programación Exploratoria, 2011 Balmaceda,](https://reader036.vdocuments.mx/reader036/viewer/2022081400/60a4eac8a2be892e351fbc35/html5/thumbnails/22.jpg)
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
![Page 23: Introducción a Prolog - EXACTAS UNICEN · 2011. 9. 19. · Introducción Introducción a Prolog JavaLog y SWI-Prolog José M. Balmaceda Programación Exploratoria, 2011 Balmaceda,](https://reader036.vdocuments.mx/reader036/viewer/2022081400/60a4eac8a2be892e351fbc35/html5/thumbnails/23.jpg)
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