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