VANAMBURG::SEMPROG::InferenceRule

Used as an abstract base class to require two methods in InferenceRule implementations.

  • getqueries

  • maketriples