Did you know ... Search Documentation:
Pack narsese -- prolog/miles/gencon_instances/constrained_clauses.pl
PublicShow source

Undocumented predicates

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

 learn_constrained