Previous Up Next
3 Command line tool

3.1 Install

You can download the binaries at the following location:
http://contraintes.inria.fr/~coquery/tclp/download.en.html

3.1.1 Linux / MacOS X

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)
3.2 Get started

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.

$
3.3 Command line options

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:
-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:
-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.

Previous Up Next