Did you know ... Search Documentation:
Pack type_check -- prolog/functor_constraint.pl
PublicShow source

Undocumented predicates

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

 functor_constraint(Arg1, Arg2, Arg3, Arg4)