Archivos de la categoría Programación Declarativa

Instalar el intérprete SWI-Prolog para ejecutar código Prolog en Ubuntu

SWI-Prolog logo

Si vas a programar declarativamente con Prolog, en Ubuntu es posible hacerlo instalando el paquete de SWI-Prolog. Para ello busca en Synaptic el paquete swi-prolog o bien instalalo mediante terminal:

sudo apt-get install swi-prolog

Para ejecutar el intte en el terminal:

$ swipl

Para salir escribe halt (seguido de un punto):

$ swipl
Welcome to SWI-Prolog (Multi-threaded, 32 bits, Version 5.6.64)
Copyright (c) 1990-2008 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).

?- halt.