Linguagem lógica - Lógica de Primeira ordem, Cláusulas de Horn, Lógica das Descrições. Ainda são usadas? Para quais funcionalidades?1 tabcoin · 0 comentário · dglopes · 4 anos atrás