Stars
Inference system for KBS supporting both binary and probabilistic logic. The knowledge base and rule set can be manually defined. Forward and backward chaining algorithms are available.
Projet de résolution de problème par programmation par contrainte