Packages |
lp.parse |
This package contains classes directly involved in tokenizing and parsing a
textual input containing some kind of logic program. |
lp.struct |
This package contains classes that represent structural components of logic
programs. |
lp.struct.util |
This package contains classes that operate on the structural components of
logic programs from the lp.struct package. |
lp.test.util |
|
lp.trans |
Classes that perform transformations of logic programs. |
lp.ui |
This package contains a set of developer-friendly classes that can be used to
parse and ground logic programs, dynamic logic programs and evolving logic
programs and also compute their stable models. |
lp.unit |
Classes that represent logic programs and their models. |
lp.util |
Auxiliary classes. |
lp.wrap |
Contains the wrappers for lparse and smodels. |