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