Command line tool

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:

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.