Implementation of transformational semantics for EVOLP

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.