This module performs reasoning over Logic Programs with Annotated Disjunctions and CP-Logic programs. It reads probabilistic program and computes the probability of queries.

See https://friguzzi.github.io/cplint/ for details.

Reexports cplint_util and bddem

author

- Fabrizio Riguzzi

copyright

- Fabrizio Riguzzi

license

- Artistic License 2.0 https://opensource.org/licenses/Artistic-2.0

Undocumented predicates

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

 prob(Arg1, Arg2)

 prob(Arg1, Arg2, Arg3)

 prob_meta(Arg1, Arg2)

 prob_meta(Arg1, Arg2, Arg3)

 abd_prob(Arg1, Arg2, Arg3)

 bdd_dot_file(Arg1, Arg2, Arg3)

 bdd_dot_string(Arg1, Arg2, Arg3)

 dt_bdd_json_file(Arg1)

 abd_bdd_dot_string(Arg1, Arg2, Arg3, Arg4)

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

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

 map(Arg1, Arg2, Arg3)

 set_pita(Arg1, Arg2)

 setting_pita(Arg1, Arg2)

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

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

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

 load(Arg1)

 load_file(Arg1)

 dt_solve(Arg1, Arg2)

 dt_solve_sp(Arg1, Arg2)

 parse(Arg1, Arg2)

 msw(Arg1, Arg2, Arg3, Arg4)

 msw(Arg1, Arg2, Arg3, Arg4, Arg5)

 bar(Arg1, Arg2)

 bar(Arg1, Arg2, Arg3)

 bar1(Arg1, Arg2)

 argbar(Arg1, Arg2)

 histogram(Arg1, Arg2)

 histogram(Arg1, Arg2, Arg3)

 densities(Arg1, Arg2, Arg3)

 densities(Arg1, Arg2, Arg3, Arg4)

 density(Arg1, Arg2)

 density(Arg1, Arg2, Arg3)

 density2d(Arg1, Arg2)

 density2d(Arg1, Arg2, Arg3)

 to_pair(Arg1, Arg2)

 key_pair(Arg1, Arg2)

 value_pair(Arg1, Arg2)

 bin(Arg1, Arg2, Arg3, Arg4, Arg5)

 beta(Arg1, Arg2)

 to_atom(Arg1, Arg2)

 average(Arg1, Arg2)

 variance(Arg1, Arg2)

 variance(Arg1, Arg2, Arg3)

 std_dev(Arg1, Arg2)

 std_dev(Arg1, Arg2, Arg3)

 agg_val(Arg1, Arg2, Arg3)

 swi_builtin(Arg1)