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 here.

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.

Syntax Restrictions

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 Readme file.

Downloads

crmodels2 is distributed under the GNU Public License.

Source distribution (version 2.0.16).
Precompiled binary for Windows (version 2.0.16).

IMPORTANT: crmodels2 requires mkatoms and gringo+clasp and to be installed in a directory that occurs in your PATH variable.

Questions, Bugs, etc.

Send emails to marcello.balduccini@gmail.com.

Authors

Crmodels2 was written by Marcello Balduccini
Its previous implementation, crmodels, was written by Loveleen Kolvekal and Marcello Balduccini.

References

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
(available here)

Historically, CR-Prolog was introduced in the paper:
Logic Programs with Consistency-Restoring Rules
by Marcello Balduccini and Michael Gelfond
(available here)

Back to my home page

Author: Marcello Balduccini (marcello.balduccini@gmail.com)
Last Update: 09/28/2015