Mises à jour:
Pour info : un programme Prolog simple a été téléchargé sur GitHub qui montre le flux de travail pour l'approche de confinement résiduel :
https://github.com/wcraytor/RCA/tree/main/Prolog/protocol.pl
Si quelqu'un veut ajouter à la base de code, faites le moi savoir en envoyant un e-mail à [email protected].