Package org.tweetyproject.lp.nlp.syntax

package org.tweetyproject.lp.nlp.syntax

Classes

Class	Description
NLPNot	A default negation of a first order formula, nested logic programs only allow not quantified formulas.
NLPProgram	Represents a nested logic program (NLP) in the form of a set of rules.
NLPRule	A rule of a nested logic program.
NLPRuleTest