This module is included only for running unit tests

Undocumented predicates

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

 my_unary_pred(Arg1)

 a_or_b(Arg1)

 unify_with_iri(Arg1)

 a(Arg1)

 b(Arg1)

 mammal(Arg1)

 is_mammal(Arg1)

 refl(Arg1, Arg2)

 recursive_subclass_of(Arg1, Arg2)