| Class | Description |
|---|---|
| AnswerSet |
An 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.
|