| Class | Description |
|---|---|
| AnswerSet |
A answer set is a belief set which only contains literals
and represents the deductive belief set of an extended logic
program under the answer set semantic.
|
| AnswerSetList |
this class represents a collection of answer sets and
provides some basic reasoning modes.
|