Uses of Class
orbital.moon.logic.resolution.ResolutionBase

Packages that use ResolutionBase

orbital.moon.logic.resolution

Provides resolution inference theorem prover implementation and clause management.

Uses of ResolutionBase in orbital.moon.logic.resolution

Subclasses of ResolutionBase in orbital.moon.logic.resolution

class	SaturationResolution Naïve saturation.
class	SearchResolution Set of support resolution based on search.
class	SetOfSupportResolution Direct set of support resolution.