J Ma, F Le,
A Russo,
J Lobo - IEEE Transactions on Knowledge …, 2016 - ieeexplore.ieee.org
Researchers have recently shown that declarative database query languages, such as
Datalog, could naturally be used to specify and implement network protocols and services …