Prolog e lógica de predicados de 1ª ordem

17 Outubro 2019, 16:30 • Graça Gaspar

Introdução à Programação em lógica, estudando alguns exemplos de programação em Prolog.

Introdução à Lógica de predicados de 1ª ordem, sua sintaxe e semântica. Noções de interpretação e de modelo.