Package ai.libs.jaicore.logic.fol.algorithms.resolution

Class Summary

Class	Description
ResolutionPair
ResolutionStep
ResolutionTree
Solver	This solver tries to solver PL1 formulas in CNF where all variables are existentially quantified
SolverFactory
UnitResolutionSolver