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 programNLPRule A rule of a nested logic program.NLPRuleTest