Gnu Prolog (http://www.gprolog.org) compiles flawlessly on Cygwin.
It is also ISO compliant. Clearly there is less activity, support and extra libraries for Gnu Prolog, but it is a solid product with fairly nice libraries and a dedicated development team. Would it be acceptable to create a Cygwin package of Gnu Prolog? Or is only one prolog allowed? -- 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