-
modules
- Currently, TCLP only loads .typ files automatly when it
encounters the directives use_module/[123] and module/2. The functor ':'/2 is not handled. Moreover if two
predicates with the same name and arity exists in two different
modules, they will be considered as the same predicate by TCLP.