ai.libs.jaicore.logic.fol.structure

Classes

• Clause
• CNFFormula
• ConstantParam
• DNFFormula
• HornFormula
• HornRule
• InterpretedLiteral
• Literal
• LiteralParam
• LiteralSet
• Monom
• Rule
• Type
• TypeModule
• VariableParam