InteGraal est une plateforme open source dédiée à la gestion et au raisonnement sur des bases de connaissances exprimées en logique. Elle permet d'analyser, de manipuler et d'évaluer des règles logiques, des faits et des requêtes pour automatiser des processus de déduction et de vérification. Utilisée dans des contextes académiques et industriels, elle facilite l'intégration de moteurs de raisonnement dans des applications variées.