You can download the binaries at the follwing location:
http://contraintes.inria.fr/~coquery/tclp/download.en.html
Extract the archive in some folder, enter it and execute the install script:
- tar xzvf tclp-i386-xxx.tgz
- cd tclp-xxx
- ./install.sh
Install options:
- --prefix <dir> the directory where TCLP files and
directories will be installed (defaults to /usr/local)
- --bindir <dir> the directory where the tclp executable
will be installed, which should be in your PATH environment
variable (defaults to prefix/bin)
- --tclpdir <dir> the directory where TCLP files will
be installed (defaults to prefix/tclp)
Basically, you just have to run on your file:
tclp file.pl
Example:
$ ../Devel/tclpchr/bin/tclp append.pl
%% tclp 0.3
%% tclp directory: /home/gewurz/coquery/Devel/tclpchr/bin
:- typeof append(list(A),list(A),list(A)) is pred.
$
Usage:
tclp [ --prolog <dialect> ] [ -I <dir> ] [ --stdlib <file> ] [ -v
<sort> | -nv <sort> ] [ -i | --type_inference | --type_check ] [ -l
| -nl ] [ --help ] <file> [ <files> ]
-
--prolog <dialect>
- <dialect> is the name of a prolog
dialect. This option causes TCLP to use type definitions for the
corresponding dialect. Currently, available dialects are:
-
ISO: ISO Prolog (default)
- gprolog: GNU Prolog
- sicstus: SICStus Prolog
- -I <dir>
- This options adds <dir> to the list of
directories where TCLP looks for files.
- --stdlib <file>
- Makes TCLP use <file> as the standard
type library (for built-in predicates). By default TCLP will use
the first file named stdlib.typ in the lookup directories
(which contains the dialect directory tclpdir/lib/dialect).
- -v <sort>
- Enable verbose mode for <sort>, where <sort> can be either:
-
actions: prints the different actions of TCLP , like,
e.g., loading a type library.
- timing: prints CPU time used by TCLP for different actions.
- defaults: output a message each time TCLP encounters a
term that has no defined type. This can be useful to understand
some error messages.
- types: prints the type of each infered predicate (this
is activated by default)
- -nv <sort>
- Disables verbose mode for <sort>.
- -i, --type_inference
- Enables predicate type inference (this
is activated by default).
- --type_check
- Disables predicate type inference.
- --help
- Prints the different options.