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.
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.
- Set the environment variable CTC_HOME to point to the folder that contains the
- Restart Eclipse (it only loads environment variables at start).
- Import the CTC project folder into your Eclipse workspace1).
- Open the Prolog Console View (if not yet open)
- Choose the Prolog process with which you want to interact
- 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.