Write something about LLVM Datalog.