This Prolog interpreter is Copyright Mark Jones 
