SWI-Prolog Did You Know Did you know? You can interface C++ to SWI-Prolog Search Documentation:
Predicate save_settings/0