- goal_graph(+Goal:callable, -Graph:graph) is det
- Finds all solutions to Goal in a delimited context supplying tabling and
probabilistic choice. Explanations are extracted from the tables and
returned as a hypergraph, including explanations of Goal itself (which need
not be tabled) under the pseudo-goal
'^top':top
.
- graph_params(+Spec:sw_init_spec, +G:graph, -P:sw_params) is det
- Initialise parameters for all switches referenced in graph G.
See sw_init/2 for more information.
Undocumented predicates
The following predicates are exported, but not or incorrectly documented.
- graph_fold(Arg1, Arg2, Arg3, Arg4)
- top_value(Arg1, Arg2)
- unpack_viterbi(Arg1, Arg2, Arg3, Arg4)