This module provides tabled explanation search and sampling as computational effects using delimited control.

To be done

-

• Goal subsumtion in table lookup
• Lazy explanation search (see ccbeam in cclab)

 run_incr(+Goal) is nondet

Runs goal in explanation search mode but produces solutions incrementally, discarding top explanation and not retrieving tables.

 tables_graph(+Tables, -Graph:list(_)) is det

Undocumented predicates

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

 goal_expls_tables(Arg1, Arg2, Arg3)

 run_tab(Arg1, Arg2, Arg3)

 run_sampling(Arg1, Arg2, Arg3, Arg4)

 run_prob(Arg1, Arg2, Arg3, Arg4)

 expl(Arg1, Arg2, Arg3)

 uniform_sampler(Arg1, Arg2, Arg3, Arg4)

 make_lookup_sampler(Arg1, Arg2)

 fallback_sampler(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6)