Actualizări:
FYI: Un program simplu Prolog a fost încărcat pe GitHub, care arată fluxul de lucru pentru abordarea de izolare reziduală:
https://github.com/wcraytor/RCA/tree/main/Prolog/protocol.pl
Dacă cineva dorește să adauge la baza de coduri, anunțați-mă trimițând un e-mail la [e-mail protejat].