Did you know ... Search Documentation:
Pack clpcd -- prolog/clpcd/nf.pl
PublicShow source

Undocumented predicates

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

 add_constraint(Arg1, Arg2)
 nf(Arg1, Arg2, Arg3)
 entailed(Arg1, Arg2)
 repair(Arg1, Arg2, Arg3)
 nf_constant(Arg1, Arg2)
 wait_linear(Arg1, Arg2, Arg3, Arg4)
 nf2term(Arg1, Arg2, Arg3)