Examen!!!
[Link] una base de hechos para consultar las edades de una persona(10 hechos).
creae una regla para mostrar la lista de las personas mayores de 25 aos.
[Link] una regla ra consultar la lista de alumnosq aprobaron el curso de lp.(ctrear base de
hechos (10))
[Link] la base de hechos para generar el arbol genealogico de una familia.
crear la regla predesesora(abuelo)
domains
marca,color=symbol
anio,precio=integer
km=real
predicates
car(marca,km,anio,color,precio).
clauses
car(toyota,70,2010,azul,12000).
car(hyundai,50,2011,gris,18000).
car(datsun,80,2011,red,10000).
car(kia,75,2012,plomo,9000).
/* goal
car(X,Y,Z,A,B),B>10000 */
****************************************
domains
nombre=symbol
predicates
capital(nombre,nombre).
le_gusta(nombre,nombre).
caracteriza_por(nombre,nombre).
vive_en(nombre,nombre).
raizcuad(nombre,nombre).
clauses
capital("Lima","Peru").
capital("Caracas","Venezuela").
capital("Santiago","Chile").
capital("Buenos Aires","Argentina").
capital("Quito","Ecuador").
capital("Montevideo","Uruguay").
capital("Brasilia","Brasil").
capital("Bogota","Colombia").
capital("Asuncion","Paraguay").
capital("La Paz","Bolivia").
le_gusta("John","Futbol").
le_gusta("Sergio","Musica").
le_gusta("Milagros","Canto").
le_gusta("Teresa","Baile").
le_gusta("Lourdes","Danza").
le_gusta("Carlos","Basket").
le_gusta("Miguel","Teatro").
le_gusta("Eduardo","Correr").
le_gusta("Delia","Ciencias").
le_gusta("Cesar","Matematica").
caracteriza_por("Teresa","Sociable").
caracteriza_por("Sergio","Estudioso").
caracteriza_por("Cesar","Trabajador").
caracteriza_por("Carlos","Bromista").
caracteriza_por("Milagros","Sensible").
caracteriza_por("John","Alegre").
caracteriza_por("Delia","Divertida").
caracteriza_por("Miguel","Pensador").
caracteriza_por("Lourdes","Extrovertida").
caracteriza_por("Eduardo"."Ejemplar").
vive_en("Eduardo","Jr. Paruro 430").
vive_en("Lourdes","Calle Maria P. Bellido 1030").
vive_en("Miguel","Av. Circunvalacion 429").
vive_en("Delia","Av. Los Chancas 782").
vive_en("John","Av. Bolognesi 800").
vive_en("Milagros","Av. Los Quechuas 293").
vive_en("Carlos","Av. Canada 310").
vive_en("Cesar","Jr. Cesar Vallejo 579").
vive_en("Sergio","Av. Tupac Amaru 192").
vive_en("Teresa","Av. Las Torres 203").
raizcuad("10","100").
raizcuad("9","81").
raizcuad("8","64").
raizcuad("7","49").
raizcuad("6","36").
raizcuad("5","25").
raizcuad("4","16").
raizcuad("3","9").
raizcuad("2","4").
raizcuad("1","1").
**************************************************************
domains
nombre=symbol
predicates
progenitor(nombre,nombre).
abuelo(nombre,nombre).
hermana_de(nombre,nombre).
mujer(nombre).
tia(nombre,nombre).
clauses
progenitor("Augusto","Cesar").
progenitor("Carmen","Alexander").
progenitor("Cecilia","Milagros").
progenitor("Augusto","Yury").
progenitor("Willy","Jennifer").
progenitor("Cecilia","Lourdes").
progenitor("Elisa","Carmen").
progenitor("Elisa","Augusto").
progenitor("Elisa","Eduardo").
mujer("Carmen").
mujer("Cecilia").
mujer("Milagros").
mujer("Yury").
mujer("Jennifer").
mujer("Lourdes").
mujer("Elisa").
abuelo(X,Y):-progenitor(X,Z),progenitor(Z,Y).
hermana_de(X,Y):-mujer(X),progenitor(Z,X),progenitor(Z,Y),X<>Y.
tia(X,Y):-hermana_de(X,Z),progenitor(Z,Y).
****************************************************************
domains
nombre=symbol
predicates
padre(nombre,nombre).
hermano(nombre,nombre).
primo(nombre,nombre).
clauses
padre("Cesar","Stevens").
padre("Cesar","Yamilli").
padre("Rosario","Stevens").
padre("Rosario","Yamilli").
padre("Carmen","John").
padre("Eduardo","Juan").
padre("Rocio","Juan").
padre("Edwin","Emily").
padre("Cecilia","Emily").
padre("Dacio","Rosario").
padre("Dacio","Carmen").
hermano(Y,Z):-padre(X,Y),padre(X,Z).
primo(Z,P):-hermano(X,Y),padre(X,Z),padre(Y,P).
*******************************************************************
domains
nombre=symbol
predicates
curso(nombre,nombre).
nota(nombre,nombre,nombre).
clauses
curso("0910445","Opti II").
curso("0920553","Opti II").
curso("0910234","ADSI").
curso("0910445","[Link]").
curso("0910445","[Link]").
curso("0920553","Gerencia Procesos").
nota("0910445","Opti II","16").
nota("0920553","Opti II","15").
nota("0910234","ADSI","10").
nota("0910445","[Link]","17").
nota("0920553","G. Procesos","19").
************************************************************
/* Crear una base de hechos para consultar las edades
de una persona (15 hechos).
Crear una regla para mostrar la lista de personas que
son mayores de 25 aos. */
domains
nombre=symbol
anios=integer
predicates
edad(nombre,anios).
clauses
edad(cesar,26).
edad(john,19).
edad(milagros,23).
edad(yury,15).
edad(jesus,20).
edad(oscar,30).
edad(lourdes,14).
edad(teresa,16).
edad(juan,28).
edad(piere,26).
edad(zayda,29).
edad(martin,25).
edad(jose,21).
edad(marilin,23).
edad(nataly,30).
********************************************************
/* Crear una regla para consultar la lista de alumnos
que aprobaron el curso de Lenguaje de Programacin. */
domains
nombre=symbol
nota=integer
predicates
calificacion(nombre,nota).
clauses
calificacion(milagros,19).
calificacion(cesar,18).
calificacion(yury,16).
calificacion(juan,08).
calificacion(john,11).
calificacion(ivan,13).
calificacion(teresa,09).
calificacion(pedro,09).
calificacion(lourdes,19).
calificacion(alex,10).
*************************************************
