A compact, efficient Prolog interpreter written in plain-old C. - View it on GitHub