DatalogRule constructor

DatalogRule(
  1. String headRelation, {
  2. int stratum = 0,
})

Implementation

DatalogRule(this.headRelation, {this.stratum = 0});