Package net.sf.tweety.lp.nlp.syntax

Class Summary

Class	Description
NLPNot	A default negation of a first order formula, nested logic programs only allow not quantified formulas.
NLPProgram	A nested logic program
NLPRule	A rule of a nested logic program.