Did you know ... Search Documentation:
Pack ccprism -- prolog/ccprism/handlers.pl
PublicShow source

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)