Class NLPRule

All Implemented Interfaces:
Formula, Rule<FolFormula,​FolFormula>, ComplexLogicalFormula, LogicStructure, SimpleLogicalFormula

public class NLPRule extends ComplexLogicalFormulaAdapter implements ComplexLogicalFormula, Rule<FolFormula,​FolFormula>
A rule of a nested logic program. A nested logic program contains not quantified first order formulas.
Author:
Tim Janus