CRModels Home Page
CRModels2 is an inference engine for CR-Prolog.
The latest release is 2.0.16. You can see a history of the major changes
Crmodels2 is a complete rewrite of the crmodels solver. Version 2.0.16 is
the first public release of the new solver.
Samples of CR-Prolog programs can be found here and here.
Programs given in input to CRModels have to satisfy the following requirements.
Regular rules are unnamed.
Names of cr-rules cannot be omitted.
All the variables used in the names of cr-rules must have a corresponding
range definition via the the #domain keyword (see this example).
Installation and Usage
You can find installation and usage instructions in the
crmodels2 is distributed under the GNU Public License.
IMPORTANT: crmodels2 requires
to be installed in a directory that occurs in your PATH variable.
Questions, Bugs, etc.
Send emails to firstname.lastname@example.org.
Crmodels2 was written by Marcello Balduccini
Its previous implementation, crmodels, was written by Loveleen Kolvekal and Marcello Balduccini.
The inference engine is described in:
CR-Models: An Inference Engine for CR-Prolog
(available from http://www.krlab.cs.ttu.edu/Papers)
Examples of use of CR-Prolog can be found, among other sources, in:
Answer Set Based Design of Highly Autonomous, Rational Agents
Ph.D. Dissertation by Marcello Balduccini
Historically, CR-Prolog was introduced in the paper:
Logic Programs with Consistency-Restoring Rules
by Marcello Balduccini and Michael Gelfond
Back to my home page
Author: Marcello Balduccini (email@example.com)
Last Update: 09/28/2015