| Résumé | Puissant et facile à configurer, j-DREW est un moteur de raisonnement par déduction de logique clausale de premier ordre écrite en Java et bien intégrée au Web. Un programmeur en mesure de manipuler des structures de données récursives, comme celles couramment présentées dans les programmes universitaires d'informatique, pourra reconfigurer le moteur de raisonnement de j-DREW à l'aide de son interface de programmation applicative (API). Le moteur j-DREW fait appel à des techniques puissantes et efficaces mises au point à l'intention de démonstrateurs de théorèmes automatisés et concurrentiels, comme les arbres de discrimination, l'unification sonore, la subsomption et les termes plats. On peut le déployer dans un système Java plus gros, dans un serveur ou en mémoire de faible encombrement chez un client. Trois prototypes de clauses finies sont envisagées : plusieurs variantes de Prolog, un moteur de chaînage arrière RuleML et un moteur de déduction de chaînage avant qui fait interface avec le modèle d'événements Java 1.1. |
|---|
