CRModels3 Home Page

CRModels3 is an inference engine for CR-Prolog. It works as a front-end to smodels.
It consists of a shell script and two C programs. It should run without problems on most Unix variants. It was tested under *BSD and Solaris.
The latest version of crmodels3 is 1.0. It is available for download from the links below.
A sample CR-Prolog program can be seen here.

You can find installation and usage instructions in the Readme file.

Downloads

crmodels3 is distributed under the GNU Public License.

Source distribution (version 1.0).

References

CR-Prolog is described 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/18/2003