The Ciao System

The Ciao System- General-purpose programming language which supports logic, constraint, functional, higher-order and object-oriented programming styles. Its main design objectives are high expressive power, extensibility, safety, reliability and efficient execution. [Open Source, GPL]