CRMODELS
                               --------
                     Inference engine for CR-Prolog


Installation
~~~~~~~~~~~~
Extract the archive:

% gunzip crmodels2-2.0.16.tgz ; tar -xf crmodels2-2.0.16.tar


Run the configuration script:

% cd crmodels2-2.0.16
% ./configure


Compile crmodels:

% make


If compilation succeeds, the executable "crmodels2" will
be created in directory src.



Usage
~~~~~
BEFORE RUNNING crmodels2, ENSURE THAT mkatoms, gringo, and clasp
ARE INSTALLED IN A DIRECTORY PRESENT IN THE $PATH VARIABLE.

The Mkatoms web page is at:

   http://www.mbal.tk/mkatoms/


You may see the command-line options by running "crmodels2 -h".
The basic way to use it is:

Compute the answer sets of program x.lp by running:

crmodels2 1 x.lp

(As with gringo, you can give a list of programs.)

In the example above, "1" is the maximum number of answer
sets to compute. If unspecified, it is assumed to be 1.
If 0 is specified, all the answer sets are computed.

NOTE: the output of crmodels2 IS suitable for redirection into mkatoms.



References
~~~~~~~~~~
CRModels follows the definition of the language given in:
  "Answer Set Based Design of Highly Autonomous, Rational Agents"
     Ph.D. Dissertation by Marcello Balduccini

(available from http://krlab.cs.ttu.edu/~marcy/docs/dissertation.pdf)


A description of the CR-Models algorithm can be found in:
  "CR-MODELS: An Inference Engine for CR-Prolog"
  by Marcello Balduccini

(available from http://www.krlab.cs.ttu.edu/Papers)


Historically, CR-Prolog was introduced in the paper:

 "Logic Programs with Consistency-Restoring Rules"
   by Marcello Balduccini and Michael Gelfond

(available from http://www.krlab.cs.ttu.edu/Papers)



Contact
~~~~~~~
Marcello Balduccini (marcello.balduccini@gmail.com)