Publicité
XSB
XSB - Programmation logique et système de base de données déductive pour les plates-formes de type UNIX et Windows ...
base de données base de données déductive déclaration de prédicat Éboueur déduction
Déductions
vous permet d'apprendre facilement une déduction naturelle ...
logique apprendre déduction apprendre la déduction logiciel logique