Package astra.reasoner

Interface Summary

Interface	Description
EventUnifier<T extends Event>
FormulaUnifier
Queryable	A Source for Reasoner implementations.
Reasoner	Core Interface for logical reasoning systems that may be attached to an agent.

Class Summary

Class	Description
BeliefIterator
NewReasoner
Unifier	This class performs unification of logical formulae and events.