Inferência

30 Outubro 2017, 09:30 • João Balsa da Silva

• Exemplos de Prolog; Inferência em lógica proposicional, com Prolog
• Bratko (cap 3, 4); Ben-Ari (cap 4, 6)