Lógica de 1ª ordem, inferência

23 Outubro 2020, 09:30 • Luís Miguel Parreira e Correia

Recapitulação de lógica de 1ª ordem
Substituição, Unificação e Inferência
Apresentação do Prolog