An experimental and minimal Datalog implementation that compiles down to LLVMgithub.com/luc-tielen2 pointstluyben24 years ago