Ementa


Lógica Proposicional. Lógica de Predicados. Programação em Lógica. Prolog. Sistemas Especialistas.