> From a technical standpoint, Eve is a variant of Datalog

This is what I needed to understand what you're up to here, oddly enough.

From http://programming.witheve.com/deepdives/whateveis.html (which might not be up to date?).