Did you know ... Search Documentation:
Pack pac -- prolog/zdd/mqp-update.pl
PublicShow source

Undocumented predicates

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

 inadmissible(Arg1, Arg2)
 mqp_update(Arg1, Arg2, Arg3)
 mqp_update(Arg1, Arg2, Arg3, Arg4)
 fold_mqp_update(Arg1, Arg2, Arg3)
 fold_mqp_update(Arg1, Arg2, Arg3, Arg4)