LPO - resolução
10 Novembro 2017, 09:30 • João Balsa da Silva
Resolução em lógica de primeira ordem; Resolução SLD; Utilização no Prolog
10 Novembro 2017, 09:30 • João Balsa da Silva
Resolução em lógica de primeira ordem; Resolução SLD; Utilização no Prolog