Datalog in the Real World

Three systems that put Datalog to work.