Logic Program Compilation
15745 Final Project
Logic Programming is a programming paradigm used for knowledge representation and automated reasoning tasks. Prolog is a well-known example of a Logic Programming language. The performance of Logic Programs is very sensitive to small code transformations, yielding great opportunity for compilation. We intend to build a compiler to compile logic programs to more efficient but semantically equivalent logic programs.
Project Proposal Milestone Report Final Report