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
