Did you know ... Search Documentation:
Pack xlibrary -- prolog/countsols.pl
PublicShow source

Undocumented predicates

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

 countsols(Arg1, Arg2)
 ini_counter(Arg1, Arg2)
 inc_counter(Arg1, Arg2)
 inc_counter(Arg1, Arg2, Arg3)