Did you know ... | Search Documentation: |
Pack ccprism -- prolog/ccprism/macros.pl |
This module implements a shallow program transformation to support
tabling. Predicates decalared cctabled
are renamed (by a appending
a '#' to their given name) and the original predicate name defined as
a metacall of the renamed predicate via cctable/2, which is assumed
to be available in the module where the tabled predicate is defined.
The following predicates are exported, but not or incorrectly documented.