Comment by optimalsolver

Wouldn’t Datalog be a better alternative?