Je travaille sur une application en Java, qui a besoin de faire quelques complexité de la logique de la règle retenues dans le cadre de ses fonctionnalités. Je voudrais le code de ma logique déductions dans le Prologue ou d'une autre logique/constraint langage de programmation, au lieu de Java, je crois que le code résultant sera nettement plus simple et plus facile à gérer.
J'ai Googlé pour l'embarqué implémentations Java sur Prolog, et a trouvé nombre d'entre eux, chacun avec très peu de documentation. Mon (modeste) les critères de sélection sont les suivants:
- devrait être intégré dans Java (par exemple, peuvent être regroupés avec mon package java au lieu d'exiger de tous les naturels les installations sur les programmes externes)
- interface simple à utiliser à partir de Java (pour l'initiation de déductions, de l'inspection des résultats, et l'ajout de règles)
- venir avec au moins quelques exemples sur la façon de l'utiliser
- n'a pas nécessairement à être Prolog, mais d'autres logiques/contrainte langages de programmation avec les critères ci-dessus permettrait de répondre à mes besoins, aussi.
Quels sont mes choix et quels sont leurs avantages et leurs inconvénients?