University of York portable Prolog system - View it on GitHub