Ce projet est une démonstration technique des capacités du framework B-Runner, développé par Inria. Il illustre des méthodes avancées de réécriture de requêtes et de chase en logique de règles, utilisées dans le domaine de l'intelligence artificielle et des bases de données déductives. Il sert également de banc d'essai pour comparer les performances de différents moteurs de règles comme InteGraal ou Rulewerk/VLog.