Package jtp.context

Provides a basic configuration and interface for JTP.

See:
Description

Interface Summary

DepthMonitor	This interface provides the basic search control functionality.
Tracer	Traces the path of goals and subgoals as they are processed by the asking system, and assertions and inferred consequences as they are processed by the telling system.

Class Summary

AbstractTracer	Default implementation of Tracer.
BasicReasoningContext	A basic interface for JTP with a default configuration.
Configurator
DefaultDepthMonitor	This is the default implementation of the DepthMonitor interface.
IterativeDeepening	An asking control reasoner that ensures that an iterative deepening search method is used to prove queries.
PrintStreamTracer	An implementation of Tracer that writes trace information to a PrintStream.

Package jtp.context Description

Provides a basic configuration and interface for JTP. Most users will be interested in the class BasicReasoningContext.