The semantics of the language of CCalc is related to default logic and logic programming. Computationally, CCalc uses ideas of satisfiability planning. (A related system, Cplus2ASP from Arizona State University, processes CCalc input using answer set solvers instead of SAT solvers.)
A later project, MAD, adds the capability to split action descriptions into modules, and allows action/fluent constants to be redefined during the process of "importing" a module.
To execute SWI Prolog, use the command:
For Sicstus Prolog, use the command:
Download the file
and unpack it using the commands
% gunzip ccalc-2.0r2.tar.gz
% tar -xvf ccalc-2.0r2.tar
CCalc 2.0 will be installed in directory ccalc created under your current directory.
Satisfiability solvers compiled for Linux and SunOS are provided with CCalc. If you will run CCalc under a different operating system, you may need to obtain or recompile the SAT solvers for your system. Please see the file README, in the ccalc directory after you unzip it, for instructions on how to do this.
Questions? Send an e-mail to email@example.com.