Did you know ... Search Documentation:
Pack tabling_dra -- prolog/dra.pl
PublicShow source
 process_dra_ective(+Directive)
Process a directive.
 get_all_tabled_goals(-ListOfGoals)
Get all the goals that were tabled together with their answers.

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 dra_call_interp(Arg1)
 dra_call_tabled(Arg1)
 dra_call_coind0(Arg1)
 dra_call_coind1(Arg1)
 essence_hook(Arg1, Arg2)
 cont_dra_call
 exit_dra_call
 init_dra_call
 table Arg1
 coinductive0(Arg1)
 coinductive1(Arg1)
 tnot(Arg1)
 initialize_table
 abolish_tables
 print_tables