Ejercicios en prolog

ENEMIGOS DEL CESAR

Marco es un hombre. Marco es pompeyano. Todos los pompeyanos son romanos. César fue un dictador. Todos los romanos o son leales al César o lo odian. Todos son leales a alguien. La gente solo trata de asesinar dictadores a los que no le son leales. Marcos trato de asesinar a César. Todos los hombres son personas. Marcos nació en 40 AD. Todos los hombres son mortales. Todoslos Pompeyanos murieron cuando izo erupción el Vesuvio en 79AD.No mortal vive mas de 150 años. Ahora = 2005.Vivo significa no muerto. Si alguien muere, entonces esta muerto a cualquier tiempo después. Todos los romanos que conocen a Marcos o odian a César o piensan que cualquiera que odia está loco.

CONCEPTOS | INSTANCIAS | RELACIONES |
Objeto, entidad, clase | | Por cada variable solo uncuantificador |
hombre(X)pompeyano(X)romano(X)dictador(X)odia(X)leal(X)alguien(X)gente(X)trata(X)asesinar(X)nació (X)mortal(X)muerto(X)erupto(X)Ahora(X)2005(X)vivo(X)conocer(X)piensa(X)persona(X)loco(X) | Hombre(Marco)Pompeyano (Marco)Dictador (Cesar)Nació(Marco)Odia(Cesar)Erupto(Vesuvio)Trata(Marco) | Marco(X) hombre(X) Marco(X) pompeyano(X)x: pompeyano(X) romano(X).Cesar(X) dictador(X)x:romano(X) ((leal(X) cesar(X)) v (( odian(X) cesar(X)).x: gente(X) trata(X) asesinar(X) leal(X).x: romano(X) leal(X).x: hombre(X) mortal(X).x: hombre(X) persona(X).x: pompeyano(X) murieron(X).mortal(X) vive(X) 150_ano(X).x:Vivo(X) muerto(X).x: romano(X) conocer(X) marco(X) ((odia(X) cesar(X)) v ((piensa(X) loco(X)).Ahora(X) 2005(X). |

FBF A FORMA CLAUSAL

FORMULA BIEN FORMADA:x: pompeyano(X) romano(X).

1. x: ¬ pompeyano(x) v romano(x).
2. No pasa nada pues solo tenemos una negación en nuestra formula bien formada.
3. No pasa nada, al no tener nuestra variable x dependiendo de otra variable diferente.
4. No pasa nada al tener nuestro cuantificador universal de lado izquierdo.
5. No pasa nada pues no tenemos cuantificadores existenciales dentrode nuestra formula bien formada.
6. ¬ pompeyano(x) v romano(x).
7. No pasa nada pues nuestra formula bien formada ya está en conjunción de disyunciones.
8. No pasa nada.
9. ¬pompeyano(C) v romano(C).

FORMULA CLAUSAL:

1. ¬pompeyano(C) v romano(C).
2. pompeyano(C) → romano (C).
3. romano (C) ← ¬pompeyano(C).
4. romano (C):- not( pompeyano(C)).

CLAUSULA DEHORN:

1. leal('Cesar',X):-romano(X),not odia('Cesar',X).
2. odia('Cesar',X):-romano(X),not leal('Cesar',X).
3. giasesinar(dictador(Y),X):- not leal(dictador(Y),X).
4. mortal(X):-hombre(X).

Preguntas:

AVES

Todas las aves vuelan. Hay algunas aves como los pingüinos pero no vuelan. También hay algunas como los avestruces que tampoco vuelan. Chilliwilly es un pingüino y Twittyes un canario. Todos los canarios y pingüinos son aves.

-------------------------------------------------
Todas las aves vuelan. Hay algunas como los pingüinos pero no vuelan. También hay algunas como los avestruces que tampoco vuelan. Chillywilly es un pingüino y twity es un canario. Todos los canarios y pingüinos son aves.

CONCEPTOS | INSTANCIAS | RELACIONES |
Objeto, entidad, clase || Por cada variable solo un cuantificador |
ave(X)vuela(X)pingüino(X)avestruz(X)canario(X) | pingüino(chilliwilly)canario(twity) | x: ave(X) vuela(X). x: ave(X) pinguino (X) vuela(X). x: ave(X) avestruz (X) vuela(X).x: canario (X) ave (X). |

FBF A FORMA CLAUSAL

FORMULA BIEN FORMADA:

Ǝx: ave(x) ^ avestruz(x) ⌐ vuela (x)

1. Ǝx: ⌐ ave(x) ^ avestruz(x) ˅ ⌐ vuela (x)
2.Ǝx: ⌐ ave(x) ^ ⌐ ((avestruz(x) ^ vuela (x))
3. No pasa nada.
4. No pasa nada.
5. ⌐ ave(X) ^ ⌐ ((avestruz(X) ^ vuela (X))
6. No pasa nada.
7. ⌐ ave(X) ˅ [(avestruz(X) ˅ vuela (X)]
8. No pasa nada.
9. No pasa nada.

FORMULA CLAUSAL:

1. ⌐ ave (X) ˅ [(avestruz(X) ˅ vuela (X)]
2. ave (X) ^ avestruz(X) ⌐ vuela (X)
3. vuela (X) ← ⌐ ave(X) ^ ⌐ avestruz(X)...