CRMODELS
                               --------
                     inference engine for CR-Prolog


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

% gunzip crmodels-1.56p1.tgz ; tar -xf crmodels-1.56p1.tar


Run the configuration script:

% cd crmodels-1.56p1
% ./configure


Compile crmodels:

% make


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



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

The Mkatoms web page is at:

   http://krlab.cs.ttu.edu/~marcy/mkatoms/


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

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

crmodels x.lp

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

Option -m can be used to specify the maximum number of answer
sets to compute. The argument of the option is the maximum
number of answer sets to compute. If 0 is specified, all
the answer sets are computed.

NOTE: the output of crmodels 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)