Ejercicio 1: Supongamos que tenemos el siguiente conocimiento sobre divisibilidad: " 2 divide a 6" " 2 divide a 12" "

3 divide a 6" " 3 divide a 12" " Si un nmero es divisible por 2 y por 3 entonces es divisible por 6" Escribir un programa que represente este conocimiento y usarlo para responder a las siguientes preguntas: (1) Existe algn mltiplo de 2? (2) Cules son los divisores de 6? (3) Conocemos algn mltiplo de 6?

Ejercicio 2: En este ejercicio y los siguientes vamos a realizar un ejemplo que describe la carta de un restaurante. Los objetos que interesan son los platos que se pueden consumir y una primera clasificacin puede ser la siguiente: * Entradas: paella, gazpacho, consom * Carne: filete de cerdo, pollo asado * Pescado: trucha, bacalao * Postre: flan, nueces con miel, naranja Escribe como programa Prolog la clasificacin de comidas del restaurante. El programa constara de 10 clusulas y los predicados a usar son entrada/1, carne/1, pescado/1 y postre/1. Prueba despus el programa con preguntas como ?- carne(X). ?- carne(X), postre(X). ... etc...

Ejercicio 3: Consideremos el siguiente programa con informacin de parejas inscritas en el registro libro_de_familia( esposo(nombre(antonio,garcia,fernandez), profesion(arquitecto), salario(300000)), esposa(nombre(ana,ruiz,lopez), profesion(docente), salario(120000)), domicilio(sevilla)).

libro_de_familia( esposo(nombre(luis,alvarez,garcia), profesion(arquitecto), salario(400000)), esposa(nombre(ana,romero,soler), profesion(sus_labores), salario(0)), domicilio(sevilla)).

libro_de_familia( esposo(nombre(bernardo,bueno,martinez), profesion(docente), salario(120000)), esposa(nombre(laura,rodriguez,millan), profesion(medico), salario(250000)),

domicilio(cuenca)).

libro_de_familia( esposo(nombre(miguel,gonzalez,ruiz), profesion(empresario), salario(400000)), esposa(nombre(belen,salguero,cuevas), profesion(sus_labores), salario(0)), domicilio(dos_hermanas)).

(1) Definir el predicado profesion(X) que se verifique si X es una profesin que aparece en el programa (2) Definir el predicado primer_apellido(X) que se verifique siX es el primer apellido de alguien (3) Determinar el nombre completo de todas las personas que viven en Sevilla (4) Definir el predicado ingresos_familiares(N), de forma que si N es una cantidad que determina los ingresos totales de una familia. (5) Definir el predicado pareja(Hombre,Mujer) que devuelva los nombres de pila de las parejas existentes. (6) Definir el predicado sueldo(X,Y) que se verifique si el sueldo de la persona de nobre completo X es Y.

Ejercicio 4: En este ejercicio vamos a caracterizar los movimientos de las piezas del ajedrez. Se pide definir el predicado movimiento(Pieza,Casilla_origen,Casilla_llegada)

donde las piezas son torre, caballo, alfil, rey, dama y pen y las casillas las denominamos por el trmino e(X,Y) con X e Y entre 1 y 8. (Consideraremos siempre que la casilla de origen es una casilla legal)