CTC Download and Installation

Make sure you have installed an ISO-Standard compliant Prolog system. If you have no particular preference, we recommend SWI-Prolog, which we use ourselves.

You may use your preferred development environment. For users of Eclipse and SWI-Prolog, we recommend PDT, the Prolog Development Tool for Eclipse.

Checkout https://svn.iai.uni-bonn.de/repos/IAI_Software/ctc/trunk/ct-core/.
If you do not have sufficient access rights, contact Günter Kniesel.

The explanation below assumes that you are using the Prolog Development Tool for Eclipse. However, the CTC implementation is not tied to any particular Prolog IDE, you can use your most favourite one.

1. Set the environment variable CTC_HOME to point to the folder that contains the ct-core directory.
2. Restart Eclipse (it only loads environment variables at start).
3. Import the CTC project folder into your Eclipse workspace¹⁾.
4. Open the Prolog Console View (if not yet open)
5. Choose the Prolog process with which you want to interact
6. Consult the file $CTC_HOME/ct-core/load.pl

That's all. Now you can write and run your analyses and transformations as described in the CT language specification.