Class NLPRule

java.lang.Object
All Implemented Interfaces:
Formula, Rule<FolFormula,FolFormula>, ComplexLogicalFormula, LogicStructure, SimpleLogicalFormula

A rule of a nested logic program. A nested logic program contains not quantified first order formulas.
Author:
Tim Janus