Escolar Documentos
Profissional Documentos
Cultura Documentos
Programacin Lgica
Equipo:
Sergio Oswaldo Martnez Gutirrez
Liliana Abigail Garca Chvez
Arylu Juana Mara Hernndez
Rafael Abraham Ramos Gutirrez
Sergio Alberto Martnez de la Fuente
ngel Gerardo Quezada Snchez
4.1 Introduccin al
modelo de
programacin lgica
Laprogramacinlgica
La programacin lgica es un
paradigma de programacin basado en
lalgica de primer orden.
Todosloshombressonmortales
Scratesesunhombre
Scratesesmortal
Se trata de un tipo de programacin
declarativa, es decir, no se indica cmo
se hacen las cosas, sino qu cosas
hacer. A partir de eso, el motor de
ejecucin decide cmo hacerlo.
En un programa lgico generalmente
se definen un hechos y reglas, lo que
se suele llamarbase de conocimiento,
y a partir de ellos, se pueden obtener
respuestas
4.2 Semntica de los
programas lgicos.
Semntica de Prolog
El
programa Prolog se compone de unos
hechos (datos) y un conjunto de reglas,
es decir, relaciones entre objetos de la
base de datos.
Tipos de Clausulas
Hechos
Reglas
Consultas
4.4. Consulta de una
base de clusulas
Un programa en PROLOG define una coleccin de relaciones. Cada
relacin es definida por una o ms clusulas.
- INTERPRETACIN DE UNA CLUSULA EN PROLOG.
:- Es equivalente "Si" o No".
, Es equivalente "AND".
; Es equivalente a "OR"
Ejemplo
Para especificar la relacin el
padre de X es Y,
se crea una base de conocimiento
conhechos expresados
mediante un
predicado padre(X,Y)
de la siguiente manera:
padre(juan,pedro).
padre(jos,pedro).
padre(mara,pedro).
padre(pedro,pablo).
padre(ana,alberto).
...
Definicin de Consulta en Prolog
<term> = <number>
| <variable> empieza con mayscula
| <atom> empieza con minscula
| <atom> ( <terms> ) trmino compuesto
factor(+Termino,-Factor,-Calidad).
factor(-Termino,+Factor,+Calidad).
?- factor(NuevoTermino,prueba,4).
Nuevo Termin = prueba(_,_,_,_) ?
yes
?-
4.9. Predicados
Mitolgicos
Lospredicadosson los elementos ejecutables
en Prolog. En muchos sentidos se asemejan a
los procedimientos o funciones tpicos de los
lenguajes imperativos.
Una llamada concreta a un predicado, con
unos argumentos concretos, se
denominaobjetivo(en ingls, goal).