CRModels Home Page

CRModels is an inference engine for CR-Prolog. It works as a front-end to smodels.
The current version of CRModels is built on top of the sources of lparse.

The latest release is 1.56. You can see a list of the latest major changes here.

The major improvements introduced with the 1.5 release are:

Binary search/Linear search hybrid algorithm.
Various code optimizations (e.g. use of hash lists introduced).
Major code clean-up.

Samples of CR-Prolog programs can be found here and here.
The latest definitions of the syntax and semantics of CR-Prolog, as well as a FAQ on the language can be found in the KRLab Bulletin Board.

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

crmodels is distributed under the GNU Public License.

Source distribution (version 1.56).

IMPORTANT: crmodels requires mkatoms and smodels to be installed in a directory that occurs in your PATH variable. (lparse is not required.)
CRModels should run without problems on most Unix variants. It was tested under *BSD and Solaris.

Questions, Bugs, etc.

Send emails to marcello.balduccini@ttu.edu or register and post in the CR-Prolog section of the KRLab Bulletin Board.

Authors

crmodels was written by Loveleen Kolvekal and Marcello Balduccini.

References

The latest definitions of the syntax and semantics of CR-Prolog, as well as a FAQ on the language can be found in the KRLab Bulletin Board.

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 from http://krlab.cs.ttu.edu/~marcy/docs/dissertation.pdf)

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)

Back to my home page

Author: Marcello Balduccini (marcello.balduccini@ttu.edu)
Last Update: 09/25/2006