Taller E1

Programacin Lgica
02 de marzo de 2012

1. La sentencia "O bien '2 + 2 = 4' y est lloviendo, o '2 + 2 = 4' y no est
lloviendo" est haciendo una armacin acerca de la aritmtica, el clima
o ninguno de los temas anteriores?. Explique.
Exprese la sentencia en trminos de la lgica proposicional. Simplifquela
si es posible.
2. En la lgica proposicional es usual denir 4 conectivas binarias lgicas
(,,,).

Existen otras que puedan resultar tiles?

Cuntas conectivas lgicas binarias pueden existir?
Por qu algunas de ellas no son muy tiles?

3. Represente las siguientes oraciones en

lgica de primer orden,

usando

un vocabulario consistente (el cul usted debe denir):

No todos los estudiantes toman clases de Algoritmos y Sociologa.

Solo un estudiante ha fallado las clases de Clculo y Biologa.
Toda persona a quien le desagradan todos los vegetarianos es inteligente.

Existe una oveja a quien le gustan todos los pastos que no son verdes.

4. (Opcional-PROLOG) Un rbol binario consiste en una serie de nodos que

se ramica de forma binaria de la siguiente manera:

Para describir un nodo del arbol binario se utilizar la siguiente notacin:

bt(e-izquierda,etiqueta,e-derecha)
donde label consiste en el nombre del nodo, y e-izquierda(e-derecha) describen el resto del arbol a la izquierda(derecha). Si en uno de las posibles
opciones no existe enlace se utilizar el simbolo nil. Por ejemplo, el rbol
observado en la gura estar descrito en su totalidad por:

bt(bt(bt(nil,d,nil),b,bt(nil,e,nil)),a,bt(bt(nil,f,nil),c,bt(nil,g,nil)))
Implemente en PROLOG un programa que sea capaz de leer la descripcin
de un rbol binario de CUALQUIER tamao y morfologa. El rbol estar
descrito en la notacin presentada anteriormente y el programa deber
imprimirlo en pantalla.
Un ejemplo del 'query' y de la respuesta en pantalla del programa, se
muestra a continuacin:

PISTA: Utilice los predicados tab() y write() que ofrece SWI-PROLOG,

para el formato y el despliegue en pantalla.