Did you know ... Search Documentation:
Pack rdf_matcher -- prolog/rdf_matcher/rule_inference.pl
PublicShow source

Undocumented predicates

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

 equivalent(Arg1, Arg2)
 ground_rules(Arg1)
 ground_rules(Arg1, Arg2)