Uses of Package
orbital.moon.logic.resolution

Packages that use orbital.moon.logic.resolution

orbital.moon.logic.resolution

Provides resolution inference theorem prover implementation and clause management.

Classes in orbital.moon.logic.resolution used by orbital.moon.logic.resolution

ClausalFactory
Factory for clauses and clausal sets.

ClausalSet
Represents a set of clauses.

ClausalSetImpl
Default implementation of a representation of a set of clauses.

Clause
Represents a clause, i.e.

ClauseImpl
Default implementation of a representation of a clause, i.e.

IndexedClauseImpl
Implementation of a representation of a clauses with clause indexing.

ResolutionBase
Basic skeleton for resolution theorem provers.