Datalog implementation in Scala.