LPO - resolução

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

Resolução em lógica de primeira ordem; Resolução SLD; Utilização no Prolog