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