jtp

Interfaces  Dispatcher KnowledgeStore Reasoner ReasoningStepIterator Substitutable Translator

Classes  Cut DirectAssertion ReasoningStep

Exceptions  InconsistencyException ReasoningException