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