prolog

Hechos

1.2 Hechos
Un hecho, en PROLOG, es una relaci´n entre objetos.
o
Ejemplo: La capital de Francia es Par´
ıs.
En Prolog se escribe capital(francia,par´
ıs).

En general, la sintaxises
relacion(objeto, objeto, ...).
La relaci´n se conoce como el predicado y los objetos como los
o
argumentos.
• Los nombres de todos los predicados y argumentos deben de
comenzar con una letramin´scula.
u
• Primero, se escribe el predicado. Los argumentos se escriben
separ´ndolos mediante comas y encerrados entre par´ntesis.
a
e
• Al final del hecho debe ir un punto.
Ejercicio 1.1Representa los siguientes hechos en Prolog.
1. A Juan le gusta el dinero.
2. Juan es alto.
3. Juan viaja a Madrid en tren.
4. Juan vive en la calle Coso, n´mero 12, de Zaragoza.
u
&

%

HechosEjemplo: Cuadrado(1,1) ∧ cuadrado(2,4) ∧ cuadrado(3,9)
cuadrado(1,1).
cuadrado(2,4).
cuadrado(3,9).
Ejercicio 1.2 Representa los siguientes hechos en Prolog.
1. Juan come chocolate, queso yfruta.
2. Espa˜a, Francia y Alemania son pa´
n
ıses.
La mayor´ de los programas en PDC–PROLOG est´n organizados
ıa
a
en cuatro secciones principales.
• Dominios.
• Predicados.
• Objetivos.
•Cl´usulas.
a
/* Programa 1.1 Hechos */
predicates
le gusta a(symbol,symbol)
clauses
le gusta a(jose,pescado).
le gusta a(maria,libros).
le gusta a(jose,libros).
&

%

Reglas

1.3Reglas
Una regla consta de dos partes, una cabeza y un cuerpo. La
cabeza y el cuerpo est´n unidos mediante el s´
a
ımbolo : −
cabeza :- cuerpo.
El cuerpo puede estar formado por varios hechos.cabeza :- hecho1, hecho2, ..., hechon.
La separaci´n : − se lee ”si”.( la cabeza es verdad si el
o
cuerpo es verdad.)
Ejemplo: Es divisible por dos(X) :- par(X). (Se lee X es divisible
por dos si Xes par.). Esta cl´usula en Prolog es equivalente a la
a
f´rmula de primer orden (∀ X) par(X) ⇒ Es divisible por dos(X).
o
Por tanto, si podemos probar que X es par entonces hemos probado
que X...