An interpreter for a datalog-like language.