CR-Prolog with Ordered Disjunction.
Marcello Balduccini, Veena S. Mellarkod · 2003
We present CR-Prolog2, an extension of A-Prolog with cr-rules and ordered disjunction. CR-rules can be used to formalize various types of common-sense knowledge and reasoning, that, to the best of our knowledge, have no formalization in A-Prolog. The use of ordered disjunction often allows for a very concise, easy to read, representation of knowledge. We also show how CRProlog2 can be used to represent preferences intended both as strict preferences, and as desires.