Did you know ... Search Documentation:
Type term_t: a reference to a Prolog term