SWI-Prolog 6.6.6 / 7.1.27 Development (LGPL)

A comprehensive Prolog environment that comes with advanced debugging features, code tracing and a set of specialized instructions that you can useSWI-Prolog 6.6.6 / 7.1.27 Development (LGPL)