A Fast Prolog Compiler Proof of Concept

Introduction This post describes a reasonably performant Prolog to C compiler prototype written in Prolog. It only compiles a the subset of Prolog, but it does include unification and backtracking, which is enough to demonstrate: N-queens , which is good for testing the performance of backtracking. the append predicate, which is an excellent example for demonstrating unification, backtracking and…