Ir al contenido principal

Prolog en un vistazo (2)

Imagen
De Beta


 

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:

  1. Dominio: donde se declaran los argumentos que utilizarán los predicados.
  2. Predicados: donde se declaran todos los predicados no predefinidos que se utilizarán en las siguientes secciones.
  3. 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.
  4. 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://ferestrepoca.github.io/paradigmas-de-programacion/proglogica/tutoriales/prolog-gh-pages/index.html

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

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/
Etiquetas:

Comentarios

Publicar un comentario

Entradas populares de este blog

Odin language: el lenguaje de programación orientado a datos para un desarrollo de software sensato

De Dr. Lang
En esta serie sobre lenguajes de programación hablamos de Odin , un lenguaje orientado a datos. Un nuevo lenguaje de programación que nos podrá recordar a lenguajes como C++, Python, Golang o hasta Rust. Instalación (Windows): 1 2 3 4 $ git clone https://github.com/odin-lang/Odin $ cd Odin $ git pull $ build.bat release Debemos asegurarnos de crear la variable de entorno: Nombre: ODIN_HOME Valor: C:\Users\HP\Documents\pruebasOdin\Odin Ejemplo 1. Como primer programa tendremos al clásico "Hola, mundo". holamundo.odin package holamundo import " core:fmt " main : : proc ( ) { fmt . println ( " ¡Hola, mundo desde Odin! " ) } Construimos: $ odin build holamundo . odin - file Ejecutamos: $ holamundo .exe Recordar que si usamos Visual Studio Code podemos instalar el plugin de Odin Language: https://marketplace.visualstudio.com/items?itemName=DanielGavin.ols Ejemplo 2. Programa que muestre las variables que pod...
Publicar un comentario
Leer más

Programación Windows Batch (CMD) parte 3

De Dr. Lang
Crear ciclos para efectuar operaciones tediosas nos ahorrará tiempo para realizar otras tareas. En está ocasión veremos ciclos con FOR . ¿Cuál es la síntaxis de bucle FOR en Windows Batch? Si está dentro de un archivo *.bat : FOR %%variable IN (seq) DO operaciones Si lo ejecutamos en una terminal: FOR %variable IN (seq) DO operaciones Ejemplo 1 . Recorrer una secuencia de números del 0 al 5: recorrer.bat @ echo off FOR %%i in ( 0 1 2 3 4 5 ) DO echo Hola no. %%i pause Nos imprimirá en pantalla: Hola no. 0 Hola no. 1 Hola no. 2 Hola no. 3 Hola no. 4 Hola no. 5 ¿Puedo usar contadores? Si, se pueden usar. Ejemplo 2 . Uso de contadores: contador.bat @ echo off set numeros = 1 2 3 4 5 6 7 8 9 10 set cont = 0 for %%a in ( %numeros% ) do ( echo Hola no. %%a :: Contador set /a cont+ = 1 ) echo Total: %cont% Este código nos imprimirá, además de los mensajes Hola no. 0 ..., el total de valores conta...
3 comentarios
Leer más

z/OS, ¿Qué es? y ¿Cuáles son sus herramientas?

De Beta
  En este post veremos las herramientas de z/OS de IBM. z/OS es un sistema operativo de mainframe desarrollado por IBM.  Es parte de la serie IBM z Systems (anteriormente conocida como System z), que se utiliza en los sistemas mainframe de IBM. z/OS es uno de los sistemas operativos más utilizados en el mundo empresarial para ejecutar aplicaciones críticas y procesar grandes volúmenes de datos. Características clave de z/OS: Escalabilidad : z/OS es conocido por su capacidad para manejar grandes cargas de trabajo y escalabilidad vertical, lo que permite agregar recursos de hardware para satisfacer las demandas de procesamiento. Confiabilidad y disponibilidad : z/OS está diseñado para ofrecer alta disponibilidad y confiabilidad. Incorpora características como redundancia y recuperación ante fallas para garantizar la continuidad de las operaciones. Seguridad : Proporciona una amplia gama de funciones de seguridad, como autenticación, autorización y auditoría, para proteger los...
Publicar un comentario
Leer más