SWI-Prolog

Comprehensive Prolog compiler and development environment