Provides classes for an pDatalog++ inference engine.