Previous Up Next
6 Limitations
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.

Previous Up Next