Simple Prolog interpreter by Alan Mycroft - View it on GitHub