Package lp.unit

Classes that represent logic programs and their models.

See:
Description

Interface Summary

LogicProgram

Represents an ordinary logic program, i.e. a set of logic program rules represented by LpRule instances.

Class Summary

DynamicLogicProgram	Represents a dynamic logic program, i.e. a sequence of logic programs.
EmptyProgram	An efficient implementation of an empty logic program that is immutable.
EvolpProgram	Represents an evolving logic program (the base program) with a sequence of events (also evolving logic programs).
EvolutionStableModel	Represents an evolution stable model, i.e. a sequence of stable models.
GeneralizedLogicProgram	A default implementation of the LogicProgram interface.
GeneralizedLogicProgramTest	Contains tests of the GeneralizedLogicProgram class.
StableModel	Represents a stable model, i.e. a set of atoms.
TransformedDlp	Represents the normal logic program that was constructed from a dynamic logic program.
TransformedEvolp	Represents the normal logic program that was constructed from an evolving logic program.

Enum Summary

TransDlpRuleType	Enumeration of types of rules in a normal logic program equivalent to a dynamic logic program.
TransEvolpRuleType	Enumeration of types of rules in a normal logic program equivalent to an evolving logic program.

Package lp.unit Description

Classes that represent logic programs and their models. They aggregate classes from the lp.struct package.