SWI Prolog en Fedora 8

Prolog, proveniente del francés "Progamation en Logique", es un lenguaje de programación lógico e interpretado, bastante popular en el medio de investigación en Inteligencia Artificial.
Existen en la actualidad diversas variantes de este lenguaje, entre las que destacan:

Nombre	Libre?	Facil?	Rapido?	Sistema Operativo
SWI Prolog	si	si	no	muchos
Turbo Prolog	si	si	si	DOS
Sicstus Prolog	no	med	si	Solaris, Linux
BinProlog	si	no	si	muchos
Visual Prolog	no	si	si	Win16
DGKS Prolog	si	si	no	Java
Minerva Prolog	no	no	no	Java
Quintus Prolog	no	si	si	Solaris, Linux

Como se pudo observar en la tabla anterior, algunas variantes de Prolog no son libres y sólo corren en el Sistema Operativo Windows o DOS. La variante de Prolog que instalaremos en Fedora 8 será SWI Prolog. Esta variante es libre y además de existir una versión para Windows, existe una versión para Linux (la que nos interesa). Es fácil de utilizar, cumple con los estándares y contiene muchísimas librerías.
Para poder instalarlo simplemente ingresa el siguiente comando como super-usuario (root):
#yum -y install pl
Eso es todo, ahora ya tienes prolog instalado en Fedora 8. Para comenzar a utilizar el programa simplemente, desde la línea de comandos, ingresa el comando:
$pl
NOTA:
En caso de que aparezca un error acerca de que falta la librería libgmp.so.3 entonces necesitarás ingresar nuevamente como super-usuario (root) e instalar el paquete gmp con el siguiente comando:
#yum -y install gmp