Nous proposons une architecture dans laquelle ReAct (Reasoning + Acting) est encapsulé dans un système de routage qui peut "backtracker" ou forcer des alternatives en cas d’échec ou d’insatisfaction. Dans cette solution, le routeur serait un méta-contrôleur fondé sur Prolog.

Un moteur d’inférences logiques tel que Prolog peut jouer un rôle central dans l’orchestration des actions et des décisions à prendre concernant les actions à suivre en cas d’échec.
En effet, Prolog excelle dans :
– la détection de situations complexes,
– la représentation déclarative de règles, de contraintes et d’alternatives,
– le raisonnement sur des violations et des exceptions,
– le retour en arrière (backtracking) dans un arbre de solutions pour explorer les alternatives.