Yep it is :) I took a lot of inspiration from prolog while I was designing the query language. It's like a stripped down version of prolog (only simple functions with max arity 2), and a few bells and whistles like builtin support for transitivity.