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