I would be willing to contribute an updated version of SWI Prolog. The current Cygwin version is 5.6.* but the stable release is 5.8.0. -- Problem reports: http://cygwin.com/problems.html FAQ: http://cygwin.com/faq/ Documentation: http://cygwin.com/docs.html Unsubscribe info: http://cygwin.com/ml/#unsubscribe-simple