All Classes
-
All Classes Interface Summary Class Summary Class Description Clause CNFFormula ConstantParam The constant parameter of a literal.ContainsPredicate DNFFormula EvaluablePredicate ForwardChainer This algorithm answers the question for which groundings G of the variables in $premise, G[$premise] follows from $factbase.ForwardChainerRecursionEvent ForwardChainingFailedCWABindingEvent This is used if a binding is found that is ok for positive literals, but negative literals of the conclusions are in the factbase.ForwardChainingProblem HornFormula HornRule InterpretedLiteral Literal A literal defines a property over parameters.LiteralParam The parameter of a literal.LiteralSet A set of literals.LiteralStringParser LogicUtil Utility class for the logic package.Monom NextBindingFoundEvent NotEmptyPredicate OneItemPredicate PartitionPredicate ResolutionPair ResolutionStep ResolutionTree Rule SetTheoryUtil Solver This solver tries to solver PL1 formulas in CNF where all variables are existentially quantifiedSolverFactory Type TypeModule TypeUtil UnitResolutionSolver VariableParam A variable parameter of a literal.