Provides data structures for the pDatalog++ inference engine.