A toy programming language built with LLVM and Prolog - View it on GitHub