Tutorial Prolog 2012 Paradigmas de Programacin

Tutorial bsico de Prolog.

1- Ejecutar el instalador de Prolog bajado del link de la materia o ir a

http:// www.swi-prolog.org (software libre)

2- Ir a la carpeta Archivos de programa\swipl

3- Crear all una carpeta mis_Ejemplos
4- En la carpeta Archivos de programa\swipl\bin buscar el archivo swipl-win.exe y
ejecutarlo (corre sobre Windows)

5- Se abre la ventana principal del Shell.

6- Si se desea crear un nuevo archivo, se elige en el men File New . Se abre una ventana
que solicita que se le asigne nombre al archivo nuevo. Guardar en la carpeta mis_Ejemplos y
ponerle como extensin al archivo **** .pl

1
Tutorial Prolog 2012 Paradigmas de Programacin

Luego abre automticamente el editor. Comenzar a escribir los hechos/reglas a partir del
cursor (tringulo rojo).

Los programas no tienen encabezados ni declaraciones ni delimitador final.

Una vez terminada la edicin se lo graba con Save buffer.

7-Se puede compilar el programa para verificar los errores de sintaxis. Menu Compile Make.

2
Tutorial Prolog 2012 Paradigmas de Programacin

Hay errores de sintaxis pues el predicado madre fue escrito con mayscula inicial (en la lnea
2 ), y no aparecen todas las definiciones de madre y padre juntas.

En este ejemplo el error de sintaxis se debe a que la constante ana (lnea 3) est escrita con
mayscula inicial.

8- Para usar un archivo existente hay que Consultarlo (Men File - consult), lo que produce su
compilacin y lo habilita para ser usado.

3
Tutorial Prolog 2012 Paradigmas de Programacin

Si hay errores de compilacin aparecen los mensajes en rojo. Una vez compilado
correctamente se pueden hacer consultas, en la lnea de edicin. Se escribe directamente
donde aparece el cursor negro recordando terminar la consulta con un punto.

Se pueden hacer distintos tipos de consultas. Si se usan variables en las consultas, para poder
ver todas las respuestas posibles hay que usar ; despus de cada respuesta. Listar todas las
posibilidades hasta que no encuentre ms.

4
Tutorial Prolog 2012 Paradigmas de Programacin

Consulta con dos variables: muestra todas las combinaciones posibles entre ellas.

Si el sistema no puede demostrar la consulta hecha, contestar false.

Si se hace una consulta sobre un predicado no conocido dar error de ejecucin.

9-Si se desea modificar/ver el cdigo que contiene el archivo hay que Editarlo (Men file -
Edit). Esta accin despliega la ventana de seleccin de archivo a editar. Elegir el deseado y se
abre el editor.