-
tclp.pl
- This the main file for the library. It mainly
consists in wrappers for calling predicates in other TCLP modules.
- tclp__main.pl
- The main file for the command line tool.
- tclp/tclp__arity.pl
- The file contains predicates for
handling depandancies between the arguments of the different type
constructors.
- tclp/tclp__arrays.pl
- Defines dynamic arrays with predicates
to manipulate them.
- tclp/tclp__clp_types.pl
- Defines the solver for constraints over
subtyping inequalities.
- tclp/tclp__connexity.pl
- Handles the computation of mutually
recursive predicates in the program source, as well as the order in
which the clauses must be type checked.
- tclp/tclp__declarations.pl
- Defines the core meta declarations
of TCLP.
- tclp/tclp__def.pl
- Some constants definitions.
- tclp/tclp__errors.pl
- Handles printing of errors and
warning. Also handles the verbose predicates (should be in an IO
module I think)
- tclp/tclp__files.pl
- Handles file loading, file names, etc
...
- tclp/tclp__functor_types.pl
- Handles the typing of the
application of a functor to its arguments. In particular, it handles
the treatment of overloading.
- tclp/tclp__handle_goals.pl
- Core handling TCLP definitions.
- tclp/tclp__reader.pl
- Reads source phrases and handle their
location in the program source.
- tclp/tclp__type_checker.pl
- Type checking predicates.
- tclp/tclp__type_inference.pl
- Defines how the inference of the type
of predicates.
- tclp/tclp__type_order.pl
- Handles the order between type
constructors.
- tclp/tclp__utils.pl
- Miscellaneous predicates.
- tclp/version.pl
- The version TCLP.
- tclp/sicstus_modules.pl
- Predicates to handle some SICStus Prolog
directives (e.g. use_module/1).