I had no idea what this was, but after some wandering I found some background: http://en.wikipedia.org/wiki/Datalog

Datalog is apparently a subset of Prolog that's used by Datomic (a commercial database) as its query language.