Flavio chacha

programacin lgica y funcional

MAPA COGNITIVO DEL LENGUAJE PROLOG

A la hora de programar en Prolog se

tiene dos cuerpos principales: la
especificacin de los hechos y las
Las reglas se utilizan en PROLOG para
preguntas sobre esos objetos o
significar que un hecho depende de uno o
relaciones. Cuando se crea una base de
ms hechos. Son la representacin de
las
Programando
en
Prolog
datos
con esa especificacin de hechos
implicaciones lgicas del tipo p ---> q (p
se puede poner a hacer preguntas
implica q).
sobre esa especificacin dando como
resultado s o no.
Una regla consiste en una cabeza yLenguaje prolog
un cuerpo, unidos por el signo ":-".
Prolog saca la respuesta explorando
deintroducidos
un programa en
en
La cabeza est formada por un
cada uno La
de estructura
los hechos

Un
programa
en
Prolog
est
Prolog
nico hecho.Reglas
la base de datos hasta encontrar uno

El cuerpo puede ser uno o ms

hechos (conjuncin de hechos),
separados
por una
(","), que
Suponiendo
quecoma
se quiera
expresar el
hecho de que "un coche tiene
Hechos
ruedas". Este hecho, consta de dos
objetos, "coche" y "ruedas", y de una
relacin llamada "tiene". La forma de
representarlo en PROLOG es: tiene
(coche, ruedas).
Los nombres de objetos y relaciones
deben comenzar con una letra
minscula.
Primero se escribe la relacin, y
luego los objetos separados por
comas y encerrados entre parntesis.
Al final de un hecho debe ir un punto

formado est formado por

una secuencia de enunciados,
y
estos
enunciados
se
componen de: Hechos, Reglas
y comentarios.

Las relaciones pueden estar

especificadas
por
hechos
simplemente
estableciendo
objetos que satisfacen la
relacin
o
por
reglas
establecidas acerca de la
relacin