Un gestionnaire de connaissances reposant sur l'intégration de la programmation logique et des bases de donnés relationnelles.