whery was a simple Datalog-based query engine I wrote in the period between leaving Semmle and starting back at the University of Oxford as a postdoc. It was written in Java and supported built-in predicates and arithmetic.