Programas por deductions.sf.net

Técnicas de Inteligência Artificial aplicadas a tarefas comuns de software, utilizando a Lógica de Primeira Ordem; N3, ontologias e regras da CORUJA. Permite a construção de aplicativos baseados em componentes, independência