Comment by kiriakasis

More expressive than datalog, faster than Prolog.