Orbital library

Uses of Interface

Packages that use Inference
orbital.logic.imp Defines a generic interface to (symbolic) logic systems. 
orbital.moon.logic Contains implementations of some logics as well as a logic and mathematical expression parser. 
orbital.moon.logic.resolution Provides resolution inference theorem prover implementation and clause management. 

Uses of Inference in orbital.logic.imp

Methods in orbital.logic.imp that return Inference
 Inference Logic.inference()
          Get the inference relation |~K according to the implementation calculus K.

Uses of Inference in orbital.moon.logic

Methods in orbital.moon.logic that return Inference
 Inference ModalLogic.inference()
 Inference FuzzyLogic.inference()
 Inference ClassicalLogic.inference()

Uses of Inference in orbital.moon.logic.resolution

Classes in orbital.moon.logic.resolution that implement Inference
 class ResolutionBase
          Basic skeleton for resolution theorem provers.
 class SaturationResolution
          Naïve saturation.
 class SearchResolution
          Set of support resolution based on search.
 class SetOfSupportResolution
          Direct set of support resolution.

Orbital library
1.3.0: 11 Apr 2009

Copyright © 1996-2009 André Platzer
All Rights Reserved.