The logic package contains the implementation of basic first order reasoning used by the AgentFactory interperter.