Propaganda
Xsb.
XSB - programação lógica e sistema de banco de dados dedutivo para plataformas UNIX e Windows ...
base de dados Banco de dados dedutivo declaração de predicado coletor de lixo dedução
Deduções
permite que você aprenda facilmente dedução natural ...