Prolog Interpreter Based on Warren Abstract Machine in C - View it on GitHub