Programación Declarativa

Programación Lógica

Cómo obtener SWI-Prolog

Necesitas descargar tres ficheros: el entorno de programación, un archivo de configuración y (opcionalmente) el manual de SWI-Prolog

Linux    
  pl-x.x.x-yyy.zzz.rpm entorno de programación
  .plrc archivo de configuración
  refman.pdf manual de usuario (opcional)
Windows    
  w32plxxx.exe entorno de programación
  pl.ini archivo de configuración
  refman.pdf manual de usuario (opcional)

Instalación de SWI-Prolog en Linux

Es posible que puedas instalar SWI-Prolog desde el gestor de paquetes que tenga instalado tu distribución de linux (yum, synaptic, ...).

Si no es así, puedes instalar el paquete rpm genérico siguiendo las instrucciones que se detallan a continuación:

  1. Crea un directorio de trabajo donde se almacenarán los programas Prolog (por ejemplo ~pablo/src/prolog).
  2. Adquiere derechos de administrador (root) ejecutando su
  3. Ejecuta rpm -i pl-x.x.x-yyy.zzz.rpm
  4. Ejecuta exit para abandonar los derechos de administrador
  5. Copia el archivo de configuración .plrc al directorio del usuario (por ejemplo ~pablo)
  6. Edita el archivo .plrc y modifica la línea:

    :- cd('~pablo/src/prolog').

    reemplazando ~pablo/src/prolog por el directorio de trabajo creado en el primer paso
  7. Para comprobar la instalación, ejecuta pl. Si todo ha funcionado correctamente, la ventana del terminal mostrará un contenido similar al siguiente: 
    
   $ pl
   ==================================
      Programación Declarativa
               PROLOG
   ==================================
   % /home/pablo/.plrc compiled 0.01 sec, 148,748 bytes
   Welcome to SWI-Prolog (Multi-threaded, Version 5.6.35)
   Copyright (c) 1990-2007 University of Amsterdam.
   SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software,
   and you are welcome to redistribute it under certain conditions.
   Please visit http://www.swi-prolog.org for details.

   For help, use ?- help(Topic). or ?- apropos(Word).

   ?-
    Asegúrate de que aparece el mensaje en español del principio.
  8. El símbolo -? es el cursor de Prolog. Para salir del Prolog, basta ejecutar el predicado halt/0: 
    
   ?- halt.
    No olvides añadir el punto al final de halt

Instalación de SWI-Prolog en Windows

Las carpetas afectadas varían según utilices Windows XP o Windows Vista.
  1. Ejecuta como administrador el programa de instalación w32plxxx.exe. Acepta todas las opciones que se ofrecen por defecto.
    En este paso se crea automáticamente una carpeta de trabajo Prolog cuya ubicación depende de la versión de Windows que utilices.
  2. Ejecuta SWI-Prolog desde el menú Inicio. Si la instalación ha funcionado correctamente, se abrirá una ventana con un contenido similar al siguiente: 
    
   Welcome to SWI-Prolog (Multi-threaded, Version 5.6.45)
   Copyright (c) 1990-2007 University of Amsterdam.
   SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software,
   and you are welcome to redistribute it under certain conditions.
   Please visit http://www.swi-prolog.org for details.

   For help, use ?- help(Topic). or ?- apropos(Word).

   1 ?-
  3. El símbolo -? es el cursor de Prolog. Para determinar la carpeta de trabajo por defecto, ejecuta el predicado pwd/0: 
    
   ?- pwd.
    No olvides añadir un punto al final de pwd. Prolog responde imprimiendo la carpeta de trabajo por defecto, por ejemplo: 
    
   ?- pwd.
   c:/users/pablo/documents/prolog
  4. Para determinar la carpeta en que debe almacenarse el archivo de configuración pl.ini, ejecuta el predicado win_folder/2: 
    
   ?- win_folder(appdata,Ruta).
   Ruta = 'C:/Users/pablo/AppData/Roaming'
  5. Crea un subcarpeta SWI-Prolog en la carpeta Ruta obtenida en el paso anterior, y copia el archivo de configuración pl.ini en esa carpeta.
  6. Para salir de Prolog, basta ejecutar el predicado halt/0: 
    
   ?- halt.
  7. Para comprobar la instalación, ejecuta SWI-Prolog de nuevo. Si todo ha funcionado correctamente, se abrirá una ventana con un contenido similar al siguiente: 
    
   ==================================
      Programación Declarativa
               PROLOG
   ==================================
   % c:/users/pablo/appdata/roaming/swi-prolog/pl.ini compiled 0.00 sec, 392 bytes
   Welcome to SWI-Prolog (Multi-threaded, Version 5.6.45)
   Copyright (c) 1990-2007 University of Amsterdam.
   SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software,
   and you are welcome to redistribute it under certain conditions.
   Please visit http://www.swi-prolog.org for details.

   For help, use ?- help(Topic). or ?- apropos(Word).

   1 ?-
    Asegúrate de que aparece el mensaje en español del principio.
  8. Si lo deseas, puedes crear un acceso directo al ejecutable plwin.exe almacenado en el subdirectorio bin del directorio de instalación (inidicado en el primer paso). No olvides modificar las propiedades del enlace directo para que tome como carpeta de trabajo la creada durante la instalación (la obtenida con el predicado pwd).

Pablo López  (lopez@lcc.uma.es)