Ciao (programming language)
- Ciao (programming language)
-
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.
Further reading
Categories: Logic programming languages | Functional languages | Functional logic programming languages | Cross-platform software | Dynamically typed programming languages | Free compilers and interpreters | Free cross-platform software | Object-oriented programming languages | Scripting languages | Text-oriented programming languages
Wikimedia Foundation.
2010.
Look at other dictionaries:
Ciao (disambiguation) — Ciao is an informal Italian verbal salutation or greeting. Ciao may also refer to: In computing: Ciao (programming language), a computer programming language In entertainment: Ciao, a 2008 film Ciao Bella, a Canadian television sitcom Ciao!… … Wikipedia
Constraint programming — Programming paradigms Agent oriented Automata based Component based Flow based Pipelined Concatenative Concurrent computin … Wikipedia
Logic programming — is, in its broadest sense, the use of mathematical logic for computer programming. In this view of logic programming, which can be traced at least as far back as John McCarthy s [1958] advice taker proposal, logic is used as a purely declarative… … Wikipedia
C++11 — C++11, also formerly known as C++0x,[1] is the name of the most recent iteration of the C++ programming language, replacing C++TR1, approved by the ISO as of 12 August 2011.[2] The name is derived from the tradition of naming language versions by … Wikipedia
Prolog — infobox programming language paradigm = Logic programming year = 1972 designer = Alain Colmerauer implementations = BProlog, ECLiPSe, Ciao Prolog, GNU Prolog, Quintus, SICStus, Strawberry, SWI Prolog, YAP Prolog, tuProlog dialects = ISO Prolog,… … Wikipedia
Comparison of Prolog implementations — The following Comparison of Prolog implementations provides a reference for the relative feature sets and performance of different implementations of the Prolog computer programming language. Contents 1 Main features 2 Operating system and Web… … Wikipedia
C++0x — is the planned new standard for the C++ programming language. It is intended to replace the existing C++ standard, ISO/IEC 14882, which was published in 1998 and updated in 2003. These predecessors are informally known as C++98 and C++03. The new … Wikipedia
Computers and Information Systems — ▪ 2009 Introduction Smartphone: The New Computer. The market for the smartphone in reality a handheld computer for Web browsing, e mail, music, and video that was integrated with a cellular telephone continued to grow in 2008. According to… … Universalium
Comparison of Prolog standards compliance — Prolog is a logic programming language. The ISO Prolog standard: ISO/IEC 13211 1 [ISO/IEC 13211: Information technology mdash; Programming languages mdash; Prolog. International Organization for Standardization, Geneva. ] , published in 1995,… … Wikipedia
Logtalk — Infobox programming language name = Logtalk paradigm = Logic programming year = year = 1998 typing = designer = Paulo Moura implementations = dialects = influenced by = Prolog, Smalltalk, Prototype based programming, Object oriented programming,… … Wikipedia