En esta clase arrancamos con un nuevo paradigma

Paradigma Lógico

http://uqbar-wiki.org/index.php?title=Paradigma_L%C3%B3gico

Primeros pasos y universo cerrado

http://uqbar-wiki.org/index.php?title=Paradigma_L%C3%B3gico_-_introducci%C3%B3n

Base de conocimiento , predicados y cláusulas (reglas, hechos), consultas

http://uqbar-wiki.org/index.php?title=Paradigma_L%C3%B3gico_-_un_poco_de_nomenclatura

And y or  

http://uqbar-wiki.org/index.php?title=Paradigma_L%C3%B3gico_-_Conjunci%C3%B3n_y_Disyunci%C3%B3n

Not

http://uqbar-wiki.org/index.php?title=Paradigma_L%C3%B3gico_-_negaci%C3%B3n

Unificación

http://uqbar-wiki.org/index.php?title=Unificaci%C3%B3n_y_Pattern-Matching#Unificacion

Como pienso la resolución de un problema en lógico