PROGRAMACION LOGICA CON PROLOG

Ing. Freddy Toribio Huayta Meza

Luego encuentra el sucesivo (resatisface la pregunta)

juan pedro 1

Solucin ejercicios 1.predicatesnondeterm varon(symbol)nondeterm hembra (symbol)nondeterm padres(symbol,symbol,symbol)nondeterm hermana_de(symbol,symbol)

Clausesvaron(alberto).varon(eduardo).hembra(alicia).hembra(victoria).padres(eduardo, victoria, alberto).padres(alicia, victoria, alberto).hermana_de(X,Y):- hembra(X), padres(X,M,P), padres(Y,M,P),XY.

goalhermana_de(alicia,X).

predicatespoblacion(symbol,real)superficie(symbol,real)densidad(symbol,real)

clauses/* poblacion(Prov,Pob)

predicatesnondeterm animal(symbol)nondeterm gusta(symbol,symbol)nondeterm regalo(symbol,symbol)clauses/* animal(Anim)

predicatesnondeterm hijo(string,string)

clauseshijo(javier, luis).hijo(ana,luis).hijo(maria,luis).hijo(joseph,daniel).

goalwrite("\ningrese nombre del padre: "),readln(Padre),write("\n"),write(Padre), write(" tiene los siguientes hijos:\n"),hijo(Hijo,Padre).

Ejemplo 4

Ejemplo 5: Representacin del sistema de bloquesDCBAMESAVea ejemplo9.pro

*