Instalar SWI-Prolog en Linux

Hoy les comparto un mini tutorial sobre como instalar SWI-Prolog en Linux.

Pero antes que comenzar. ¿Qué es SWI-Prolog?
SWI-Prolog es una implementación en código abierto del lenguaje de programación Prolog, comúnmente utilizado para la enseñanza y aplicaciones web semánticas.

Sabiendo eso, comencemos.

Abrimos nuestra terminal y escribimos el siguiente comando para instalar software-properties-common ya que lo requiere SWI-Prolog:

sudo apt-get install software-properties-common

Una vez hecho esto, generamos un repositorio con:

sudo apt-add-repository ppa:swi-prolog/stable

Nos pedira que oprimamos la tecla "Enter" para continuar.

Ya que se genero el repositorio lo siguiente es actualizar el sistema para que se considere el cambio en el repositorio que generamos:

sudo apt-get update

Actualizar el sistema puede tomar un tiempo.

Y por ultimo instalamos SWI-Prolog con el siguiente comando:

sudo apt-get install swi-prolog

Nos pedira seleccionar la tecla "Enter" para continuar la instalación.

Y con esto, SWI-Prolog estara listo para utilizarse, podemos comprobar si se instalo correctamente con el siguiente comando:

swipl --version

Este comando nos mostrara la versión de nuestro SWI-Prolog.

Para ejecutar SWI-Prolog basta con escribir en nuestra terminal:

swipl

Para utilizarlo de manera sencilla, recomiendo generar nuestro archivo de Prolog (.pl), con cualquier editor de texto y guardarlo con la extensión .pl

Una ves que contemos con nuestro archivo .pl basta con acceder en la terminar a la ubicación de nuestro archivo .pl y ejecutar el siguiente comando:

swipl -f archivo.pl

Y solo sustituimos la palabra "archivo" por el nombre de nuestro archivo y con esto ya podemos hacer consultas y probar nuestro programa.

Espero y este mini tutorial les sea de mucha utilidad para instalar y utilizar SWI-Prolog.

Cualquier duda o aclaración no duden en comentarla, y de antemano muchas gracias.

Fuente:
https://www.nuigalway.ie/information-solutions-services/servicesforstaff/software/softwarea-z/s-t/swi-prolog/ Consultado el 23 de Agosto del 2015.