Using CLP(R)

CLP(R) is a constraint logic programming language, particularly aimed at problems involving constraints which may be expressed in real arithmetic.

To set up the correct path for CLP(R), add the following to your .ownrc file):
PATH=$PATH":/usr/local/clpr"
Thereafter, any time you log in you will have access to CLP(R). If you want to use it immediately without logging out and back in, type the command
. .ownrc

Thereafter, to run CLP(R), just type 'clpr' to the unix prompt.

Documentation for CLP(R) may be found at /usr/local/clpr/DOC/manual.ps; you can read this on-screen via
ghostview /usr/local/clpr/DOC/manual.ps
or download either a 450K postscript file or a 130K gzipped postscript file .