SWI-Prolog 6.6.6 / 7.1.31 Development (LGPL)

A comprehensive Prolog environment that comes with advanced debugging features, code tracing and a set of specialized instructions that you can use

SWI-Prolog 6.6.6 / 7.1.31 Development (LGPL)