ManualSWIPROLOG

Páginas: 17 (4213 palabras) Publicado: 1 de noviembre de 2015
Minimanualillo de SWI-Prolog
Roberto Torres de Alba
22 de marzo de 2006

´Indice
1. Introducci´
on

2

2. Comandos b´
asicos

2

3. Sintaxis de Prolog

2

4. Ayuda

4

5. Consultando y modificando programas
5.1. Consultar programas . . . . . . . . . .
5.2. Errores y avisos . . . . . . . . . . . . .
5.3. Mostrar base de clausulas . . . . . . .
5.4. Modificando la base de clausulas . . .

.
.
.
.5
5
6
6
6

6. Depurador
6.1. Depurador en modo texto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.2. Depurador gr´
afico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

6
6
7

7. Manejo de t´
erminos
7.1. Jerarqu´ıa . . . . . . . . . . . .
´
7.1.1. Atomos
. . . . . . . . .
7.1.2. N´
umeros . . . . . . . . .
7.2. Escritura y lectura det´erminos

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
..
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

8
8
9
10
10

8. Listas

12

9. Conjuntos

12

10.Manejo de archivos

12

11.Todas las soluciones a un objetivo

13

1

1.

Introducci´
on

Este peque˜
no manual pretende ser una introducci´on al uso de SWI-Prolog poni´endolo en relaci´on
con los conceptos de laasignatura de Programaci´on L´ogica de las Ingenier´ıas T´ecnicas de Gesti´on y de
Sistema. La versi´
on sobre la que versa este manual es la u
´ltima que se puede encontrar, a d´ıa de hoy,
en la p´agina www.swi-prolog.com, que es la 5.6.6 para Windows NT/2000/XP.

2.

Comandos b´
asicos

Una vez instalado SWI-Prolog y procediendo a su ejecuci´on observamos el shell visto como un n´
umero
m´as loscaracteres ”?-”. Desde ah´ı es de donde vamos a ajecutar todos los objetivos. Los siguientes
apartados explican de forma muy general todo aquello que es fundamental conocer a la hora de usar
este int´erprete.
1. Consultar un programa Prolog: la manera m´as f´acil de consultar un programa Prolog es usando el
men´
u file/consult y navegando por los directorios. Tambi´en existe la posibilidad dehacerlo desde
el shell escribiendo el nombre del programa, sin la extensi´on ”.pl”, encerrada por corchetes ”[ ]” y
seguida de punto. Ej:
[mi_prog].
2. Ayuda: SWI-Prolog posee una ayuda gr´afica f´acil de usar. Basta con poner en el shell ”help.”. Si
se quiere consultar un tema o un predicado en concreto basta con escribir el tema de la siguiente
forma: help(Tema).
3. Ejecuci´on de objetivos: paraejecutar un objetivo simplemente lo escribimos en el shell (seguido de
punto). Si el objetivo no tiene ´exito SWI-Prolog responder´a ”no”. Si ha tenido ´exito y el objetivo
ten´ıa variables entonces devolver´
a la unificaci´on de esas variables que ha producido el ´exito y el
programa esperar´
a una acci´
on del usuario. Ahora debemos escribir un u
´nico car´acter. Si buscamos
m´as respuestasescribiremos ”;” (punto y coma), si no pulsamos enter. Para una lista de comandos
escribimos ”h”.
4. Depuraci´
on: Para entrar en el modo trace hay que escribir ”trace.”. Al lado del shell deber´ıa
aparecer la palabra ”[trace]”. Para salir de este modo hay que escribir ”notrace.” y ”nodebug.”.
Existe la posibilidad de utilizar un depurador gr´afico escribiendo ”guitracer.”

3.

Sintaxis de PrologCualquier programa en Prolog tiene que estar escrito en un fichero de texto plano (sin formato). La
manera m´as sencilla es usar el Bloc de Notas. Dicho archivo debe poseer la extensin ”.pl” para indicar
que contiene c´
odigo fuente de Prolog.
Un programa Prolog est´
a formado con un conjunto de hechos y de reglas junto con un objetivo. El
archivo del c´odigo fuente de Prolog contendr´a el conjunto...
Leer documento completo

Regístrate para leer el documento completo.

Conviértase en miembro formal de Buenas Tareas

INSCRÍBETE - ES GRATIS