Did you know ... Search Documentation:
Pack prologmud_I7 -- prolog/boxer/drs2fdrs.pl
PublicShow source

Undocumented predicates

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

 eqDrs(Arg1, Arg2)
 instDrs(Arg1)
 instDrs(Arg1, Arg2)