SWI-Prolog has a robust and very mature foreign interface to C++: https://www.swi-prolog.org/pldoc/doc_for?object=section(%27packages/pl2cpp.html%27) https://w

SWI-Prolog has a robust and very mature foreign interface to C++: https://www.swi-prolog.org/pldoc/doc_for?object=section(%27packages/pl2cpp.html%27) https://www.swi-prolog.org/pldoc/doc_for?object=section(%27p...