Ciao (programming language)

2012 Ciao（英语：Ciao (programming language)） Clojure Cobra（英语：Cobra (programming language)） D Dafny（英语：Dafny） Eiffel Fortress（英语：Fortress (programming language)）

Prolog（Programming in Logic的缩写）是一种逻辑编程语言。它建立在逻辑学的理论基础之上， 最初被运用于自然语言等研究领域。现在它已广泛的应用在人工智能的研究中，它可以用来建造专家系统、自然语言理解、智能知识库等。 Prolog语言的理论基础建立于爱丁堡大学的罗伯特·科瓦尔斯基对霍恩子句（Horn

for Programming Language C++ ^ Doc No. 2857（页面存档备份，存于互联网档案馆）: ISO/IEC DTR 19768 (March 23, 2009) Working Draft, Standard for Programming Language C++