Un vistazo a Prolog

Prolog es un lenguaje de programación lógica. Usado para la Inteligencia Artificial. Un programa en este lenguaje tiene las extensiones *.pl, *.pro y *.p. Comenzaremos instalando Prolog (en Ubuntu). Agregamos el repositorio, descargamos e instalamos Prolog.

       
sudo add-apt-repository ppa:swi-prolog/stable
sudo apt-get update
sudo apt-get install swi-prolog -y
       
 

Para instalar en Windows:

https://www.swi-prolog.org/Download.html

Entramos al Shell.

       
$ swipl
?- 6 is 3+2.
false
?- 5 is 4+1.
true
?- True                                                          
|    .
% ... 1,000,000 ............ 10,000,000 years later
%                                                                
%       >> 42 << (last release gives the question)               
?- False.                                                        
% ... 1,000,000 ............ 10,000,000 years later
%                                                                
%       >> 42 << (last release gives the question)               
?-   
?- halt. % Para terminar sesión
       
 

Ejemplo 1. Hola, mundo en Prolog.

holamundo.pl

       
#!/usr/bin/swipl -q -t holamundo -f

% Esto es un comentario

holamundo :- write('Hola, mundo en Prolog!!'), nl, halt.
       
 

Ejecutando en el Shell:

       
$ swipl
?- [holamundo].
?- holamundo.
Hola, mundo en Prolog!!
       

Otra forma:

       
$ swipl -q -l holamundo.pl
?- holamundo.
Hola, mundo en Prolog!!
       

Ejemplo 2. Funciones en Prolog.

basicas.pl

       
#!/usr/bin/swipl -q -t basicas -f

suma(A+B,X):- X is A+B.
resta(A-B,X):- X is A-B.
multi(A*B,X):- X is A*B.
divi(A/B,X):- X is A/B.
       
 

Ejecutando en el Shell:

       
$ swipl
?- [basicas].
?- suma(3, 4+5).
false
?- suma(9, 4+5).
true

Cargar programa con la función ``consult``:

       
$ swipl
?- consult("C:\\pruebas\\holamundo.pl").
?- holamundo.
Hola, mundo en Prolog!!

En próximos post continuaremos con este lenguaje 😃.

Enlaces:

https://www.swi-prolog.org/
http://cursoandroidstudio.blogspot.com/2014/07/agregar-codigo-java-y-xml-en-blogger.html
https://users.dcc.uchile.cl/~abassi/IA/Prolog.html