Free Prolog compiler with constraint solving over finite domains
GCL is a Common Lisp currently compliant with the CLtL1 standard.
A tool that provides an Integrated Development Environment for MinGW.
