EJEMPLOS EN PROLOG

TEMA: EJEMPLOS EN PROLOG

Fecha:28 de Enero del 2016

INTRODUCCIÓN

Prolog es un lenguaje de programación compuesto por hechos, reglas y lista estas pueden ser aplicado en diversos tipos de ejercicios para ello es primordial que se realice la práctica correspondiente.

Se tiene como objetivo primordial en este  apartado poder resolver ejercicios de diversos tipos empleando: hechos, reglas y listas.

A medida que se vaya viendo los ejemplos se podrá obtener una visión más clara de cómo funciona en si el lenguaje Prolog.

 MARCO TÉORICO

1)    EJEMPLOS CON -> HECHOS EN PROLOG

Estos ejemplos consisten en hechos que son las sentencias más sencillas que verifican la relación (predicado) sobre los objetos (términos).

El siguiente ejemplo que veremos esta en realizado en Prolog, mismo que  puede responder consultas sobre qué tipos de movimiento puede hacer un determinado animal.

Todos los hechos de este programa son hechos sin variables como axiomas, por ejemplo: suma (0, X, X). En ellos, las variables se consideran cuantificadas universalmente .Es decir al igual que el hecho pueden(fido, correr) establece la verdad de la sentencia “ fido puede correr”, el hecho suma(0,X,X) establece la verdad para cualquier valor que pueda tomar la variable, es decir que “para todo termino X, la suma de 0 con X es X ”.Equivale a un conjunto de hechos de base como serían : suma(0,1,1), suma(0,3,3), etc.

Una vez que se tiene el programa describiendo una situación, se pueden hacer las respectivas preguntas para así obtener la debida información acerca de él. Por ejemplo:

Haciendo la respectiva consulta en Prolog , se puede observar en la primera imagen que en el primer hecho “fido puede correr” pero no puede volar porque no hay ningún hecho que lo afirme. 

Ya que lo que puede hacer “fido” es caminar y correr.

2)  EJEMPLOS CON -> REGLAS EN PROLOG

Las reglas son sentencias condicionales. Por ejemplo “Si el León como carne  entonces es carnívoro”. La siguiente imagen no muestra con son interpretados el símbolo:- la coma (,) y (;).

Ejemplo:

La regla es: le_gusta (juan, X) :- le_gusta(tomas, X).

Que corresponde a regla lógica: a tomas le gusta X => a juan le gusta X o equivalentemente: a juan le gusta X si a tomas le gusta X.

Las variables anónimas también pueden ser usadas en hechos, por ejemplo: le_gusta (_,tenis).  Se lee "a toda persona le gusta el tenis”.

EJEMPLO:   ÁRBOL GENEALÓGICO   

     Consultas realizadas

3)    EJEMPLOS CON  -> LISTAS EN PROLOG

Las listas son una estructura de datos simples, usadas en la programación numérica.

La práctica en el manejo de lista con Prolog es básica para el aprendizaje del lenguaje .Ese es el objetivo de este apartado.

Para poder resolver un problema de listas con Prolog, para esto primero veremos algunos ejemplos de su funcionamiento, para determinar los argumentos que son necesarios en la definición de la relación y la respuesta de Prolog en distintos casos.

Ejemplos de Operaciones con Listas

 1. Este es un predicado que obtiene la suma de los elementos de una lista:

a) La suma S es cero si la lista está vacía

b) La suma de una lista con E1 en la cabeza y L en la cola es S si S1 es la suma de los

elementos de la cola y S es S1 + E1 */

Consulta en Prolog.

2. Predicado que obtiene el promedio de valores almacenados en una lista.

     Consulta en Prolog 

3. Insertar un elemento a una lista, concatenar y eliminar

CONCLUSIONES

Prolog es un lenguaje de programación que nos habré un camino muy amplio en el que se puede programar fácilmente ya que este revisa toda la base de datos para poder encontrar las soluciones a las preguntas planteadas. Para poder entender de cierto modo el manejo básico de las listas se debe estudiar primeramente los hechos y las reglas. Los hechos son aplicados cuando algo es verdadero mientras que las reglas conllevan  a la unión  de los hechos.

Se debe tener en cuenta que la teoría es importante pero la práctica es quien nos facilita entender mucho más y si se practica lo suficiente los resultados se verán reflejados en las consultas que se le realicen a Prolog porque este nos devolverá el resultado dependiendo de lo que nosotros hagamos.

BIBLIOGRAFÍA

Mijuanlo, G.2012.EL lenguaje de Programación Prolog. (En línea).Consultado, 21 de ene. 2016. Formato PDF. Disponible en: http://mural.uv.es/mijuanlo/PracticasPROLOG.pdf

Rodríguez, O.2010. Programación Lógica Prolog. (En línea).Consultado, 25 de ene. 2016. Formato PDF. Disponible en: http://www.oldemarrodriguez.com/yahoo_site_admin/assets/docs/Programacion_PROLOG_VStrawBerryV2.223100300.pdf