| p:abstract
| - In computer science, a declarative programming language is a high-level language that describes a problem rather than defining a solution — it makes use of declarative programming. A declarative programming language says "what", while an imperative programming language says "how".
Declarative programming languages can be declarative in a variety of ways. Logic programming languages, such as Prolog, are declarative in that the programmer states relationships and asks a question about those relationships — without defining how to compute the answer. Functional programming languages are declarative in that functions relate their output to their input — without defining a strict order to evaluate any operations. Data-oriented programming languages and query languages are declarative in that queries are not given in terms of how to find data but instead give criteria for the desired data (SQL and regular expressions are examples).
There are a number of completely declarative languages. Examples include interface description languages (IDLs), which are often declarative, as they specify relationships without specifying computation. Other examples include frame languages, and ontology languages, such as OWL and CycL, which are used to encode knowledge about relationships.
Purely declarative languages, in general, do not "compute" anything; rather, they specify relationships. These relationships are then commonly used to perform computation. Thus, for example, in an ontology language based on first-order logic, the predicate isHuman(X) can be used to perform the computation that isHuman(Socrates) is true. Another example is provided by VRML, the virtual reality markup language, a 3D scene description language. In this language, a "rotating" declarative can be used to assert that an object spins. When drawn visually, the object is meant to be drawn as spinning.
The distinctions are never sharp; Prolog can be used to compute explicitly, by use of recursive rules and the cut operator. Functions that aren't purely functional or make use of a monad (by being in CPS or using I/O) do strictly sequence operations. SQL's INSERT and DELETE commands are dependent on sequence. On the other hand, assembly language, the lowest level programming language, may have declarative aspects — static memory allocation and macros, for example. (en)
- En ciencias computacionales, Los lenguajes declarativos son aquellos lenguajes de programación en los cuales se le indica a la computadora que es lo que se desea obtener o que es lo que se está buscando.
Tienen como característica ser fiables, elegantes y expresivos.
Existen varios tipos de lenguajes declarativos:
*Los lenguajes lógicos, como Prolog.
*Los lenguajes algebraicos, como Maude y SQL
*Los lenguajes funcionales, como Haskell
Categoría:Lenguajes de programación (es)
- Deklarative Sprachen sind eine Gruppe von Computersprachen auf der Basis von Funktionen und Operatoren (funktionale Programmiersprachen), logischer Kalküle (wie Lambda-Kalkül, Prädikatenlogik) oder Datenflussgraphen. Den deklarativen Sprachen stehen die weiter verbreiteten imperativen Sprachen wie C, C++ oder Java gegenüber.
Die Unterschiede der beiden Herangehensweisen sind bei der Implementierung am deutlichsten.
Imperative Sprachen beschreiben Berechnungsabläufe, damit lassen sich imperative Programme als Anweisungen an die Maschine, auf der sie ablaufen, verstehen. Betrachtet man einen Algorithmus als Kombination von Arbeits- und Steuermechanismus, so ist eine Trennung dieser Bestandteile bei Verwendung einer imperativen Programmiersprache kaum möglich. Die deklarativen Sprachen hingegen ermöglichen eine Trennung von Arbeits- und Steuerungsalgorithmus.Bekannte Vertreter von deklarativen Sprachen sind Haskell, LISP, Prolog, XAML und im weiteren Sinne auch SQL und XSLT. (de)
- 非手続き型言語（ひてつづきがたげんご、non-procedual language）とは、コンピュータのプログラミング言語の文法による分類のひとつであり、手続き型言語の対義語にあたる。手続き型言語に対するアンチテーゼとして非手続き型という分類が生まれた。宣言型言語 (Declarative language)と同義に扱われることが多い。
高級言語の一種であり、手続き型言語が問題の解法 ("how")を記述しようとするのに対し、非手続き型言語はむしろ問題そのもの ("what")を記述することに力点を置く。
例としては
* 関数型言語
** APL、LISPなど
* 論理型言語
** Prolog
* 問い合わせ言語 (データベース言語)
** SQL
などがある。
* 西垣通他『情報学事典』 弘文堂、2002年 (ja)
- Декларати́вные языки́ программи́рования — это языки программирования высокого уровня, в которых программистом не задается пошаговый алгоритм решения задачи ("как" решить задачу), а некоторым образом описывается, "что" требуется получить в качестве результата. Механизм обработки сопоставление по образцу декларативных утверждений уже реализован в устройстве языка. Типичным примером таких языков являются языки логического программирования (языки, основанные на системе правил).
В программах на языках логического программирования соответствующие действия выполняются только при наличии необходимого разрешающего условия.
Характерной особенностью декларативных языков является их декларативная семантика. Основная концепция декларативной семантики заключается в том, что смысл каждого оператора не зависит от того, как этот оператор используется в программе. Декларативная семантика намного проще семантики императивных языков, что может рассматриваться как преимущество декларативных языков перед императивными.
Наиболее распространённым языком логического программирования является язык Пролог.
Категория:Языки программирования (ru)
|
| rdfs:comment
| - In computer science, a declarative programming language is a high-level language that describes a problem rather than defining a solution — it makes use of declarative programming. A declarative programming language says "what", while an imperative programming language says "how". (en)
- En ciencias computacionales, Los lenguajes declarativos son aquellos lenguajes de programación en los cuales se le indica a la computadora que es lo que se desea obtener o que es lo que se está buscando. (es)
- Deklarative Sprachen sind eine Gruppe von Computersprachen auf der Basis von Funktionen und Operatoren (funktionale Programmiersprachen), logischer Kalküle (wie Lambda-Kalkül, Prädikatenlogik) oder Datenflussgraphen. Den deklarativen Sprachen stehen die weiter verbreiteten imperativen Sprachen wie C, C++ oder Java gegenüber. (de)
- 非手続き型言語（ひてつづきがたげんご、non-procedual language）とは、コンピュータのプログラミング言語の文法による分類のひとつであり、手続き型言語の対義語にあたる。手続き型言語に対するアンチテーゼとして非手続き型という分類が生まれた。宣言型言語 (Declarative language)と同義に扱われることが多い。 (ja)
- Декларати́вные языки́ программи́рования — это языки программирования высокого уровня, в которых программистом не задается пошаговый алгоритм решения задачи ("как" решить задачу), а некоторым образом описывается, "что" требуется получить в качестве результата. (ru)
|
![[RDF Data]](http://dbpedia.org/statics/sw-cube.png)
