Ciao is a 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.
This page contains content from the copyrighted Wikipedia article "Ciao (programming language)"; that content is used under the GNU Free Documentation License (GFDL). You may redistribute it, verbatim or modified, providing that you comply with the terms of the GFDL.