Did you know ... Search Documentation:
Pack dialect-ciao -- prolog/dialect/ciao/terms_check.pl
PublicShow source

Undocumented predicates

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

 instance(Arg1, Arg2)
 subsumes_term(Arg1, Arg2)