Portada Introduccin (Para que sirve la aplicacin.

) Desarrollo (Diagrama de red semntica) Preguntas que se le pueden hacer al sistema para obtener el diagnostico Cdigo Reglas en Prolog En prolog una regla consiste de una cabeza y un cuerpo. La cabeza y el cuerpo estn conectados por el smbolo :- que se pronuncia si. Por ejemplo las reglas anteriores. Ace(x):-animal(x), tiene(X, Plumas) Hermana(X,Y):- mujer(x) Padres(x,m,p), padres(y,m,p) Programa ejemplo: Console(user) Varon(eduardo) Varon(Alberto) Mujer(Alicia) Mujer(Victoria) Padres(Eduardo, victoria, alberto) Padres (Alicia, Victoria, Alberto) Hermana(x,y):- mujer(x) Padres(x,m,p), padres(y,m,p). Ctrl+d = mensaje de compilacin correcta Preguntas ?- hermana(Alicia, edurado). True ?- hermana(Alicia,x) X=Eduardo Programa ejemplo Ladron(juan) Gusta(maria, alimento) Gusta(maria, vino) Juan(gusta, x) . gusta(x, vino) Puede robar(x,y) ladron (x), gusta (x,y) Control+d

Ejercicio para prolog Varon(eduardo) Varon(francisco) Varon(Luis)

Varon (mario) Mujer(Alicia Mujer(veronica) Mujer(victoria) Mujer(beatriz) Padres(eduadro,francisco, victoria) Padres(Alicia, francisco, victoria) Padres(luis, Eduardo, veronica) Padres(Beatriz, Alicia, mario) Esposos(Eduardo, veronica) Esposos(mario, alicia) Esposos(francisco, victoria Hermana(ella, x) Mujer(ella).padres(ella,m,p),padres(x,m,p) Hermano(el, x):- varon(el), padres(el,m,p),padres(x,m,p) Hijo(el,x):-varon(el),padres(el,x,_) Hijo(el,x):-varon(el),padres(el,_,x) Hija(ella,x):-mujer(ella),padres(el,x,_) Hija(ella,x):-mujer(ella),padres(el,_,x) Se pueden hacer en bloc de notas para utilizarlos en prolog. Con extensin .pl Eduardo y Alicia son hermanos?111 Hermano (Eduardo, alicia) Hermana(Alicia, eduardo) Quines son los padres de beatriz? Padres(Beatriz, x, y) Eduardo es hijo de Mario? Hijo(Eduardo, mario) Luis es hijo de Veronica? Hijo(luis, veronica) de quien es hija beatriz? Hija(Beatriz, x) Ejercicio en clase para prolog. Abuelos(Luis, Francisco, Victoria) Abuelos(Beatriz, Francisco, Victoria) Nieto(El, x):-varon(El), abuelos(El, X, _) Nieto(El, x):-varon(El), abuelos(El, _, X) Nieta(Ella, x):-mujer(Ella), abuelos(El, X, _)

Nieta(Ella, x):-mujer(Ella), abuelos(El, _, X) Eduardo es abuelo? Abuelo(Eduardo, x) Victoria es abuela? Abuela(Victoria, X) De quin es nieto Luis? Nieto(Luis, x) Francisco es abuelo de Beatriz? Nieto(x,y) Quin es sobrino de quien? Quin es sobrina de quien? Quin es cuado de quien? Quin es cuada de quien? Reglas para la relacin abuelo y abuela Abuelo(el, x):-varon(el), hijo(x,p),padres(P, el, _) Abuelo(el, x):-varon(el), hija(x,p),padres(P, el, _) Abuela(el, x):-mujer(el), hijo(x,p),padres(P, ella, _) Abuela(el, x):-mujer(el), hija(x,p),padres(P, _, ella)