programación logica

UNIVERSIDAD MAYOR DE SAN ANDRÉS
FACULTAD DE CIENCIAS PURAS Y NATURALES
CARRERA DE INFORMÁTICA













INF-144
CALCULO MEDIANTE EL USO DE PROLOG


GESTION 1/2014
FECHA: 16 de junio de 2014
C.I.: 4317589 LP
INTEGRANTES:
Aguilar Apaza Edwin Marcelo



LA PAZ – BOLIVIA
INTRODUCCIÓN

Durante los primeros años de la década del 70, cuando existía la crisis delsoftware, donde la creación de nuevos programas para satisfacer las necesidades de aquel entonces involucraba costos mayores, los cuales no podían ser satisfechos, ya que eran superiores a los del hardware que los ejecutaba. Lo anterior lleva a investigar numerosas alternativas, entre las cuales los nuevos lenguajes que se crearían tendrían que ser distintos a los lenguajes corrientes (basados eninstrucciones algorítmicas y procedimientos). Es entonces cuando surge la siguiente interrogante: si el hombre procesa más información por inferencia lógica que por cálculo, entonces ¿podrá la máquina (computador) hacer lo mismo?.
En una respuesta a la crisis que ocurría en aquel entonces y producto del avance de la lógica moderna(de tipo funcional), nace PROLOG (PROgramación en LOGica).
El objetivodel siguiente informe tiene como meta dar a conocer un tipo de lenguaje de programación, mas específicamente el lenguaje PROLOG; en las siguientes paginas se mencionará y explicará los aspectos más relevantes de este lenguaje, además se dará algunos ejemplos básicos de las definiciones que aparecerán en este informe. También se dará a conocer la estructura, algunos comandos y operadores básicos,entre otros, y por último se hablará un poco de la evolución de PROLOG.


OBJETIVOS PARA EL CUAL FUE CREADO

Entre los objetivos de la creación de Prolog está la evolución de los lenguajes, como también el bajo “costo y facilidad” de programación que este puede ofrecer, ya que como su nombre lo indica
PROLOG(PROgramming in LOGic), es un programa que usa la lógica para resolver los problemas.Por otra parte, el lenguaje está orientado para trabajar en aplicaciones de inteligencia artificial.


DEFINICIÓN

Prolog es un lenguaje de programación creado para representar y utilizar el conocimiento que se tiene sobre un determinado dominio. Más exactamente, el dominio es un conjunto de objetos y el conocimiento se representa por un conjunto de relaciones que describen las propiedadesde los objetos y sus interrelaciones.
Un conjunto de reglas que describa estas propiedades y estas relaciones es un programa PROLOG. Una definición más accesible para el usuario común sería: Prolog es un lenguaje de programación que es usado para resolver problemas que envuelven objetos y las relaciones entre ellos.
Su definición basada en la lógica formal, permite ejecutar estatutos que no sonotra cosa que oraciones de un lenguaje lógico elemental particular de cláusulas. Prolog por su naturaleza muestra una habilidad para describir gramáticas, en particular gramáticas libres de contexto.


ESTRUCTURA

Un programa Prolog está formado por una secuencia de enunciados (cláusulas): hechos, reglas y variables.
Lo anterior se detalla a continuación
Hechos
Expresan relaciones entreobjetos.
Supongamos que queremos expresar el hecho de que "un coche tiene ruedas". Este hecho, consta de dos objetos, "coche" y "ruedas", y de una relación llamada "tiene".
La forma de representarlo en PROLOG es:
tiene(coche,ruedas).
Algunas características de los hechos son:
Los nombres de objetos y relaciones deben comenzar con una letra minúscula.
Primero se escribe la relación, y luego losobjetos separados por comas y encerrados entre paréntesis.
Al final de un hecho debe ir el carácter "." (punto).
El orden de los objetos dentro de la relación es arbitrario, pero debemos ser coherentes a lo largo de la base de hechos.

Reglas
Las reglas se utilizan en Prolog para significar que un hecho depende de uno o más hechos. Es la representación de las implicaciones lógicas del tipo...