Previous Up Next
A TCLP source files
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).

Previous Up Next