Tecnnica

An´lisis L´gico a o Practica 02 Prolog
Favio Ezequiel Miranda Perea Joel Espinosa Longi Fecha de Entrega: 28 de abril del 2006

1. El teorema de los cuatro colores establece que cualquier mapapuede ser coloreado con cua-

tro colores diferentes, de tal forma que no queden regiones adyacentes con el mismo color. A partir de la siguiente figura, escribe un predicadocolorea(Reg1,Reg2,Reg3,Reg4,Reg5,Reg6) el cual se cumple si Reg1, Reg2, Reg3, Reg4, Reg5 y Reg6 son una coloraci´n correcta. o

2. Representar el siguiente circuito con un predica circuito(E1,E2,E3,S) donde E1, E2 y E3son las entradas y S es la salida del circuito.

1

3. Ante un mostrador de una joyer´ se hallan cuatro se˜oras. Con la siguiente informaci´n ıa n o

realiza un programa l´gico que diga cuales la colocaci´n y el objeto que compra cada o o se˜ora as´ como sus nombres, edades y color de traje que tiene cada una. n ı
a) Soledad lleva el traje azul b) Laura compra unos aretes c) La de 30a˜os es la de la izquierda n d ) La que compra un reloj no es Irene e) Teresa est´ a la izquierda de la que compra un collar a f ) La del traje blanco tiene 35 a˜os n g) La que tiene 40 a˜os compra unosaretes n h) Soledad tiene 30 a˜os n i ) La del vestido marr´n est´ a la derecha de la que tiene 25 a˜os o a n j ) Teresa compra una pulsera k ) La que tiene 35 a˜os est´ a la izquierda de la delvestido rosa n a 4. En una carrera de f´rmula 1, los primeros 5 lugares de la carrera fueron ocupados por o

autos de distintos pa´ ıses. Con la siguiente informaci´n realiza un programa l´gico quedio o ga cual es el nombre de cada conductor, la marca de cada auto, el color y el pa´ de origen. ıs
a) El conductor del auto rojo es Italiano. b) El auto de Pablo se clasifico inmediatamente delantedel auto de Mario. c) El Mazda se calific´ en tercer lugar. o d ) Jorge es de Alemania. e) El Monza es de color amarillo y se clasific´ inmediatamente delante del auto de o f) g) h) i) j) k) l) m)...