PROLOG (Programación Lógica) es un lenguaje declarativo usado para la Inteligencia Artificial (I.A.). Para saber más sobre éste lenguaje abrir el siguiente link.
Básicamente PROLOG es:
... un lenguaje de programación declarativo que se utiliza para resolver problemas en los que existen objetos y las relaciones entre ellos.
Un programa Prolog está organizado en cuatro secciones principales:
- Dominio: donde se declaran los argumentos que utilizarán los predicados.
- Predicados: donde se declaran todos los predicados no predefinidos que se utilizarán en las siguientes secciones.
- Objetivos: esta sección permite ejecutar los programas de forma no interactiva, y por tanto, buscará la solución deseada tan pronto como se ejecute el programa. Como también es habitual usar Prolog de forma interactiva es frecuente ejecutar un programa y luego esperar a que se nos pregunte por los objetivos.
- Clausulas: donde se escriben los hechos y las reglas que conocemos del dominio.
Ejemplo: crear un programa para determinar cuál animal es de mayor tamaño. Por ejemplo, un elefante es más grande que un tigre y así sucesivamente.
bigger.pl
#!/usr/bin/swipl -q -t bigger -f
% creamos una relación de mayor a menor tamaño
bigger(elefante, tigre).
bigger(tigre, conejo).
bigger(conejo, raton).
bigger(raton, hormiga).
El programa es sencillo de explicar: ¿Qué animal es más grande? ¿El elefante es más grande que el tigre?, ¿El tigre es más grande que el conejo?, etc. En este se crea una relación de tamaños de mayor a menor.
Para poder probar este código deberás tener instalado Prolog (https://www.swi-prolog.org/). Se puede descargar e instalar tanto en Windows como en otros SO Linux o Mac.
Con Linux podemos instalarlo de la siguiente manera.
sudo add-apt-repository ppa:swi-prolog/stable
sudo apt-get update
sudo apt-get install swi-prolog -y
Abrimos una terminal y tecleamos:
$ swipl
Cargamos el programa e introducimos las entradas:
?- [bigger].
true.
?- bigger(elefante,conejo).
false.
?- bigger(elefante,tigre).
true.
?- bigger(raton,tigre).
false.
?- bigger(raton,hormiga).
true.
% ¿Qué animal es más grande que el tigre?
?- bigger(X,tigre).
X = elefante.
% El elefante es más grande que...
?- bigger(elefante,X).
X = tigre.
Es solo un vistazo a este lenguaje.
Enlaces:
http://cursoandroidstudio.blogspot.com/2014/07/agregar-codigo-java-y-xml-en-blogger.html
https://users.dcc.uchile.cl/~abassi/IA/Prolog.html
http://ferestrepoca.github.io/paradigmas-de-programacion/proglogica/tutoriales/Mercury/index.html
http://ferestrepoca.github.io/paradigmas-de-programacion/proglogica/tutoriales/Mercury/index.html
https://swish.swi-prolog.org/
Comentarios
Publicar un comentario