Prolog

Páginas: 19 (4516 palabras) Publicado: 19 de mayo de 2011
Minimanualillo de SWI-Prolog
Roberto Torres de Alba 22 de marzo de 2006

´ Indice
1. Introducci´n o 2. Comandos b´sicos a 3. Sintaxis de Prolog 4. Ayuda 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 . . . 2 2 2 4 5 5 6 6 6 6 6 78 8 9 10 10 12 12 12 13

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

6. Depurador 6.1. Depurador en modo texto . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . . . . . 6.2. Depurador gr´fico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . a 7. Manejo de t´rminos e 7.1. Jerarqu´ . . . . . . . . . . . . ıa ´ 7.1.1. Atomos . . . . . . . . . 7.1.2. N´meros . . . . . . . . . u 7.2. Escritura y lectura de t´rminos e 8. Listas 9. Conjuntos 10.Manejo de archivos 11.Todas las soluciones a unobjetivo

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

1

1.

Introducci´n o

Estepeque˜o manual pretende ser una introducci´n al uso de SWI-Prolog poni´ndolo en relaci´n n o e o con los conceptos de la asignatura de Programaci´n L´gica de las Ingenier´ T´cnicas de Gesti´n y de o o ıas e o Sistema. La versi´n sobre la que versa este manual es la ultima que se puede encontrar, a d´ de hoy, o ´ ıa en la p´gina www.swi-prolog.com, que es la 5.6.6 para Windows NT/2000/XP. a

2.Comandos b´sicos a

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

3.

Sintaxis de Prolog

Cualquier programa en Prolog tiene que estar escrito en un fichero de texto plano (sin formato). La manera m´s sencilla es usar el Bloc de Notas. Dicho archivo debe poseer la extensin ”.pl” para indicar a que contiene c´digo fuente de Prolog. o Un...
Leer documento completo

Regístrate para leer el documento completo.

Estos documentos también te pueden resultar útiles

  • prologo
  • Prologo
  • Prologo
  • Prólogo
  • prologo
  • Prólogo
  • prologar
  • Prologo

Conviértase en miembro formal de Buenas Tareas

INSCRÍBETE - ES GRATIS