Descrição
Bases de conhecimento baseadas em lógica podem ser modeladas e consultadas para raciocínio, solução de restrições e experimentos acadêmicos.
É útil para pesquisadores, estudantes e desenvolvedores que trabalham com descrições declarativas de problemas. Resultados dependem da correção do modelo e das regras, então suposições devem ser conferidas com cuidado.