Uses of Package
orbital.logic.imp

Packages that use orbital.logic.imp

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.

Classes in orbital.logic.imp used by orbital.logic.imp

Formula
A formula interface for presentations of formal logic.

Inference
Provides a unified encapsulation for inference relations |~ used for any logic reasoning.

Interpretation
An interpretation associates the symbols in a signature with the entities in the world (for semantics).

LogicException
Thrown whenever an exception related to logic or a calculus occurs.

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

Formula
A formula interface for presentations of formal logic.

Inference
Provides a unified encapsulation for inference relations |~ used for any logic reasoning.

Interpretation
An interpretation associates the symbols in a signature with the entities in the world (for semantics).

Logic
Provides a unified encapsulation of logical systems.

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

Formula
A formula interface for presentations of formal logic.

Inference
Provides a unified encapsulation for inference relations |~ used for any logic reasoning.