edu.udo.cs.ie.cowbots.logic
Interfaces 
ELPLiteral
Classes 
AggregatePredicate
Alphabet
ArithmeticPredicate
ELP
ELPAtom
ELPRule
IntPredicate
KCausationRule
KDeclaration
KExCondition
KProgram
KRule
Meta
NegLiteral
NotLiteral
RelationPredicate
SymbolicSet