SWI-Prolog Did You Know Did you know? SWI-Prolog tabling provides incremental tabling Search Documentation:
Predicate unicode_nfc/2