用于将Cr Prolog代码回答集程序Prolog代码。

This program is designed to translate code written in Cr-prolog to answer set prolog code. The primary goal is to implement the new method of finding answer sets of programs written in CR-prolog and to compare it with the other existing CR-solvers. The main ideas of the new method are: 1.Translate program to dlv-compatible code. 2.Find the answer sets of the new program. The key ideas of the implemented translation were described in the paper "Logic Programs with Consistency-Restoring Rules "(2003) written by Marcello Balduccini and Michael Gelfond.

jungleStory.plog
squirrel.plog
squirrel_opt.plog