Declarative programming
http://dbpedia.org/resource/Declarative_programming an entity of type: Thing
في علم الحاسوب، البرمجة التعريفية هي واحدة من أنماط البرمجة وهي تعبّر عن منطق البرنامج دون شرح تدفق السيطرة. الكثير من لغات البرمجة تلجأ لهذا النمط كي تقلل أو تلغي أي أعراض جانبية من خلال وصف ماذا يجب على البرنامج أن ينجزه بدلا من التطرق لكيفة إنجازه. يأتي هذا النمط في البرمجة على النقيض من البرمجة الأمرية والتي تتطلب توفير خوارزمية واضحة. أصبحت البرمجة التعريفية تلقى رواجا أكثر في الفترة الأخيرة حيث أنها أظهرت قدرة على تبسيط كتابة البرامج المتوازية. تشمل لغات البرمجة التعريفية أنواع مثل: التعابير النمطية والبرمجة المنطقية والبرمجة الوظيفية.
rdf:langString
Deklarativní programování je založeno na myšlence programování aplikací pomocí definic co se má udělat, a ne jak se to má udělat. Opakem tohoto principu je imperativní programování popisující jednotlivé úkony pomocí algoritmů. Zjednodušeně to lze popsat tak, že imperativní programy obsahují algoritmy, kterými se dosáhne chtěný cíl, zatímco deklarativní jazyky specifikují cíl a algoritmizace je ponechána programu (interpretu) daného jazyka.
rdf:langString
En ciencias de la computación se denomina programación declarativa a un paradigma de programación de software en el que no se detallan los pasos a seguir, sino solo el resultado deseado con cierto código fuente.
rdf:langString
Programazio deklaratiboa, programazio inperatiboaren kontrakoa, programazio paradigma bat da, programen garapenean oinarrituta dagoena, baldintzak, proposizioak, baieztapenak, mugak, ekuazioak edo aldaketak deklaratuta, problema deskribatzen eta konponbidea zehazten dutenak. Konponbidea barne kontrolerako mekanismoen bidez lortzen da, nola aurkitzen den zehaztu barik (konputagailuari esaten zaio zer bilatu nahi den).
rdf:langString
Bealach chun ríomhchlár a scríobh ina leagtar síos na léirghaolta idir na hathróga agus a bhfaightear na torthaí trí luacháil na ngaolta sin.
rdf:langString
宣言型プログラミング（英: Declarative programming）は、数理論理学的な性質を表わしている総称的なプログラミングパラダイムである。式の計算構造を、主に表示的意味論下のロジックで表現する構文にされることが多く、式枠外の副作用を伴なう制御フローや自由変数の多用などは排除されるようになる。計算構造は演繹的に組み立てられることが多い。命令型プログラミングと対をなしてのプログラミング言語の分類用語としても扱われている。 宣言型言語は、what the program must accomplish（何をなすべきか）方針で、副作用を排除した式や純粋関数の実装に努める。これは命令型言語の、how to accomplish it（どうなすべきか）方針で、副作用を前提にした操作的意味論下のアルゴリズム実装とよく対比される。 宣言的パラダイムは、関数型、論理型、データフローなどを包括し、データベース問い合わせ言語、マークアップ言語、ドメイン固有言語、構成管理、正規表現などにも言及されており、並行計算との親和性も特筆されている。
rdf:langString
In informatica il termine programmazione dichiarativa può avere due diversi significati.
rdf:langString
Deklarativ programmering är samlingsnamnet för funktionell programmering och logikprogrammering. Dessa utmärks av att program innehåller deklarationer av funktioner definierade i termer av varandra, och är företrädesvis rekursiva. En programkörning är en beräkning av ett uttryck. Den dator som sist och slutligen utför beräkningen är bortabstraherad.
rdf:langString
宣告式編程（英語：Declarative programming）或译为声明式编程，是對與指令式編程不同的編程範型的一種合稱。它们建造计算机程序的结构和元素，表达计算的逻辑而不用描述它的控制流程。
rdf:langString
Στην επιστήμη υπολογιστών δηλωτικός προγραμματισμός (Αγγλικά: declarative programming) είναι ένα προγραμματιστικό υπόδειγμα όπου, σε αντίθεση με τον προστακτικό προγραμματισμό, το ζητούμενο αποτέλεσμα υπολογίζεται περιγράφοντας απλώς τις επιθυμητές ιδιότητες του. Παραδείγματα γλωσσών δηλωτικού προγραμματισμού είναι η Haskell, η Prolog, η SQL, η HTML και η CSS.
rdf:langString
Die deklarative Programmierung ist ein Programmierparadigma, bei dem die Beschreibung des Problems im Vordergrund steht. Der Lösungsweg wird dann automatisch ermittelt. Im Gegensatz zur imperativen Programmierung, bei der das Wie im Vordergrund steht, fragt man in der deklarativen Programmierung nach dem Was, das berechnet werden soll. Bekannte Vertreter deklarativer Programmiersprachen sind Haskell, Lisp, Prolog, XAML und im weiteren Sinne auch SQL und XSLT. Den deklarativen Sprachen stehen die weiter verbreiteten imperativen Sprachen wie C, C++ oder Java gegenüber.
rdf:langString
In computer science, declarative programming is a programming paradigm—a style of building the structure and elements of computer programs—that expresses the logic of a computation without describing its control flow. Declarative programming often considers programs as theories of a formal logic, and computations as deductions in that logic space. Declarative programming may greatly simplify writing parallel programs.
rdf:langString
Dalam ilmu komputer, pemrograman deklaratif adalah paradigma pemrograman—gaya membangun struktur dan elemen program komputer—yang mengekspresikan logika komputasi tanpa menjelaskan aliran kontrolnya. Banyak bahasa yang menerapkan gaya ini mencoba untuk meminimalkan atau menghilangkan efek samping dengan menjelaskan apa yang harus dicapai program dalam hal domain masalah, daripada menjelaskan bagaimana mencapainya sebagai urutan primitif bahasa pemrograman (bagaimana dibiarkan hingga implementasi bahasa). Ini berbeda dengan pemrograman imperatif, yang mengimplementasikan algoritma dalam langkah-langkah eksplisit.
rdf:langString
La programmation déclarative est un paradigme de programmation qui consiste à créer des applications sur la base de composants logiciels indépendants du contexte et ne comportant aucun état interne. Autrement dit, l'appel d'un de ces composants avec les mêmes arguments produit exactement le même résultat, quel que soit le moment et le contexte de l'appel. C'est une forme de programmation sans effets de bord, ayant généralement une correspondance avec la logique mathématique. Il existe plusieurs formes de programmation déclarative :
rdf:langString
선언형 프로그래밍(宣言型 프로그래밍, 영어: declarative programming)은 두 가지 뜻으로 통용되고 있다. 한 정의에 따르면, 프로그램이 어떤 방법으로 해야 하는지를 나타내기보다 무엇과 같은지를 설명하는 경우에 "선언형"이라고 한다. 예를 들어, 웹 페이지는 선언형인데 웹페이지는 제목, 글꼴, 본문, 그림과 같이 "무엇"이 나타나야하는지를 묘사하는 것이지 "어떤 방법으로" 컴퓨터 화면에 페이지를 나타내야 하는지를 묘사하는 것이 아니기 때문이다. 이것은 전통적인 포트란과 C, 자바와 같은 명령형 프로그래밍 언어와는 다른 접근방식인데, 명령형 프로그래밍 언어는 프로그래머가 실행될 알고리즘을 명시해주어야 하는 것이다. 간단히 말하여, 명령형 프로그램은 알고리즘을 명시하고 목표는 명시하지 않는 데 반해 선언형 프로그램은 목표를 명시하고 알고리즘을 명시하지 않는 것이다. 또 다른 정의에 따르면, 프로그램이 함수형 프로그래밍 언어, 논리형 프로그래밍 언어, 혹은 언어로 쓰인 경우에 "선언형"이라고 한다. 여기서 "선언형 언어"라는 것은 명령형 언어와 대비되는 이런 프로그래밍 언어들을 통칭하는 것이다.
rdf:langString
In de informatica worden computertalen ingedeeld in declaratieve talen en imperatieve talen. Heel kort gezegd is het verschil dat men in een declaratieve taal opschrijft wat er aan de hand is, en in een imperatieve taal hoe iets moet gebeuren. Een volkomen helder onderscheid is niet te maken.
* Tekstuele talen:
* talen uit de wiskunde: logica en algebra
* mark-uptalen
*
* Visuele talen:
* modelleertalen
* symbolische en representerende visuele programmeertalen
rdf:langString
Programowanie deklaratywne — rodzina paradygmatów programowania, które nie są z natury imperatywne. W przeciwieństwie do programów napisanych imperatywnie, programista opisuje warunki, jakie musi spełniać końcowe rozwiązanie (co chcemy osiągnąć), a nie szczegółową sekwencję kroków, które do niego prowadzą (jak to zrobić). Programowanie deklaratywne często traktuje programy jako pewne hipotezy wyrażone w logice formalnej, a wykonywanie obliczeń jako ich dowodzenie. Programowanie deklaratywne jest szczególnym przedmiotem zainteresowania naukowców, gdyż dzięki minimalizacji lub eliminacji skutków ubocznych może znacząco uprościć tworzenie programów współbieżnych. Paradygmat programowania deklaratywnego obejmuje szeroką gamę języków programowania i bardziej szczegółowych paradygmatów podrzędny
rdf:langString
Декларати́вное программи́рование — парадигма программирования, в которой задаётся спецификация решения задачи, то есть описывается ожидаемый результат, а не способ его получения. Противоположностью декларативного является императивное программирование, при котором на том или ином уровне детализации требуется описание последовательности шагов для решения задачи. В качестве примеров декларативных языков обычно приводят HTML и SQL. На повышение уровня декларативности нацелено языково-ориентированное программирование.
rdf:langString
Programação declarativa é um paradigma de programação baseado em programação funcional, programação lógica e programação restritiva. Tal termo é utilizado para discernir tais linguagens em relação à linguagens de programação imperativa. Esta programação dita que o programador deve modelar um dado problema através de assertivas acerca dos objetos do universo de discurso, ou seja, definindo o relacionamento lógico existente entre a cabeça e o corpo da cláusula, e nunca descrevendo como seus procedimentos funcionam. As soluções declarativas são usualmente mais fáceis de desenvolver e possuem a clareza e limpidez da pura lógica.
rdf:langString
Декларативне програмування — парадигма програмування, відповідно до якої, програма описує, який результат необхідно отримати, замість описання послідовності отримання цього результату. Наприклад, вебсторінки HTML — декларативні, оскільки вони описують, що містить сторінка та що має відображатися — заголовок, шрифт, текст, зображення — але не містить інструкцій як її слід відображати. Ця парадигма мов програмування відмінна від імперативних мов програмування, таких як, наприклад, Фортран, C і Java, які вимагають від розробника детального описання алгоритму отримання результатів.
rdf:langString
rdf:langString
Declarative programming
rdf:langString
برمجة تعريفية
rdf:langString
Deklarativní programování
rdf:langString
Deklarative Programmierung
rdf:langString
Δηλωτικός προγραμματισμός
rdf:langString
Programación declarativa
rdf:langString
Programazio deklaratibo
rdf:langString
Ríomhchlárú fógrach
rdf:langString
Pemrograman deklaratif
rdf:langString
Programmation déclarative
rdf:langString
Programmazione dichiarativa
rdf:langString
선언형 프로그래밍
rdf:langString
宣言型プログラミング
rdf:langString
Declaratieve taal
rdf:langString
Programowanie deklaratywne
rdf:langString
Декларативное программирование
rdf:langString
Programação declarativa
rdf:langString
宣告式編程
rdf:langString
Deklarativ programmering
rdf:langString
Декларативне програмування
xsd:integer
210648
xsd:integer
1114688556
rdf:langString
في علم الحاسوب، البرمجة التعريفية هي واحدة من أنماط البرمجة وهي تعبّر عن منطق البرنامج دون شرح تدفق السيطرة. الكثير من لغات البرمجة تلجأ لهذا النمط كي تقلل أو تلغي أي أعراض جانبية من خلال وصف ماذا يجب على البرنامج أن ينجزه بدلا من التطرق لكيفة إنجازه. يأتي هذا النمط في البرمجة على النقيض من البرمجة الأمرية والتي تتطلب توفير خوارزمية واضحة. أصبحت البرمجة التعريفية تلقى رواجا أكثر في الفترة الأخيرة حيث أنها أظهرت قدرة على تبسيط كتابة البرامج المتوازية. تشمل لغات البرمجة التعريفية أنواع مثل: التعابير النمطية والبرمجة المنطقية والبرمجة الوظيفية.
rdf:langString
Deklarativní programování je založeno na myšlence programování aplikací pomocí definic co se má udělat, a ne jak se to má udělat. Opakem tohoto principu je imperativní programování popisující jednotlivé úkony pomocí algoritmů. Zjednodušeně to lze popsat tak, že imperativní programy obsahují algoritmy, kterými se dosáhne chtěný cíl, zatímco deklarativní jazyky specifikují cíl a algoritmizace je ponechána programu (interpretu) daného jazyka.
rdf:langString
Στην επιστήμη υπολογιστών δηλωτικός προγραμματισμός (Αγγλικά: declarative programming) είναι ένα προγραμματιστικό υπόδειγμα όπου, σε αντίθεση με τον προστακτικό προγραμματισμό, το ζητούμενο αποτέλεσμα υπολογίζεται περιγράφοντας απλώς τις επιθυμητές ιδιότητες του. Παραδείγματα γλωσσών δηλωτικού προγραμματισμού είναι η Haskell, η Prolog, η SQL, η HTML και η CSS. Ένα παράδειγμα δηλωτικού προγραμματισμού είναι η χρήση των κανονικών εκφράσεων όπου υπάρχουν στις περισσότερες σύγχρονες γλώσσες προγραμματισμού. Ο προγραμματιστής απλά δηλώνει την κανονική έκφραση (regexpr) και στην συνέχεια υπολογίζεται το ζητούμενο αποτέλεσμα.
rdf:langString
Die deklarative Programmierung ist ein Programmierparadigma, bei dem die Beschreibung des Problems im Vordergrund steht. Der Lösungsweg wird dann automatisch ermittelt. Im Gegensatz zur imperativen Programmierung, bei der das Wie im Vordergrund steht, fragt man in der deklarativen Programmierung nach dem Was, das berechnet werden soll. Bekannte Vertreter deklarativer Programmiersprachen sind Haskell, Lisp, Prolog, XAML und im weiteren Sinne auch SQL und XSLT. Den deklarativen Sprachen stehen die weiter verbreiteten imperativen Sprachen wie C, C++ oder Java gegenüber. Die Unterschiede der beiden Herangehensweisen werden bei der Implementierung eines Algorithmus am deutlichsten, den man als Kombination von Arbeits- und Steuermechanismus betrachten kann:
* Deklarative Sprachen ermöglichen eine Trennung der beiden Bestandteile.
* Dagegen ist bei Verwendung einer imperativen Programmiersprache eine Trennung von Arbeits- und Steuermechanismus kaum möglich. Imperative Sprachen beschreiben Berechnungsabläufe; damit lassen sich imperative Programme als Anweisungen an die Maschine verstehen, auf der sie ablaufen.
rdf:langString
In computer science, declarative programming is a programming paradigm—a style of building the structure and elements of computer programs—that expresses the logic of a computation without describing its control flow. Many languages that apply this style attempt to minimize or eliminate side effects by describing what the program must accomplish in terms of the problem domain, rather than describe how to accomplish it as a sequence of the programming language primitives (the how being left up to the language's implementation). This is in contrast with imperative programming, which implements algorithms in explicit steps. Declarative programming often considers programs as theories of a formal logic, and computations as deductions in that logic space. Declarative programming may greatly simplify writing parallel programs. Common declarative languages include those of database query languages (e.g., SQL, XQuery), regular expressions, logic programming, functional programming, and configuration management systems.
rdf:langString
En ciencias de la computación se denomina programación declarativa a un paradigma de programación de software en el que no se detallan los pasos a seguir, sino solo el resultado deseado con cierto código fuente.
rdf:langString
Programazio deklaratiboa, programazio inperatiboaren kontrakoa, programazio paradigma bat da, programen garapenean oinarrituta dagoena, baldintzak, proposizioak, baieztapenak, mugak, ekuazioak edo aldaketak deklaratuta, problema deskribatzen eta konponbidea zehazten dutenak. Konponbidea barne kontrolerako mekanismoen bidez lortzen da, nola aurkitzen den zehaztu barik (konputagailuari esaten zaio zer bilatu nahi den).
rdf:langString
La programmation déclarative est un paradigme de programmation qui consiste à créer des applications sur la base de composants logiciels indépendants du contexte et ne comportant aucun état interne. Autrement dit, l'appel d'un de ces composants avec les mêmes arguments produit exactement le même résultat, quel que soit le moment et le contexte de l'appel. En programmation déclarative, on décrit le quoi, c'est-à-dire le problème. Par exemple, les pages HTML sont déclaratives car elles décrivent ce que contient une page (texte, titres, paragraphes, etc.) et non comment les afficher (positionnement, couleurs, polices de caractères…). Alors qu'en programmation impérative (par exemple, avec le C ou Java), on décrit le comment, c'est-à-dire la structure de contrôle correspondant à la solution. C'est une forme de programmation sans effets de bord, ayant généralement une correspondance avec la logique mathématique. Il existe plusieurs formes de programmation déclarative :
* la , à l'expressivité réduite, qui permet de décrire des structures de données, comme HTML ou LaTeX ;
* la programmation fonctionnelle, qui perçoit les applications comme un ensemble de fonctions mathématiques, comme Lisp, Caml, Haskell et Oz ;
* la programmation logique, pour laquelle les composants d'une application sont des relations logiques, comme Prolog et Mercury ;
* la programmation par contraintes.
rdf:langString
Bealach chun ríomhchlár a scríobh ina leagtar síos na léirghaolta idir na hathróga agus a bhfaightear na torthaí trí luacháil na ngaolta sin.
rdf:langString
Dalam ilmu komputer, pemrograman deklaratif adalah paradigma pemrograman—gaya membangun struktur dan elemen program komputer—yang mengekspresikan logika komputasi tanpa menjelaskan aliran kontrolnya. Banyak bahasa yang menerapkan gaya ini mencoba untuk meminimalkan atau menghilangkan efek samping dengan menjelaskan apa yang harus dicapai program dalam hal domain masalah, daripada menjelaskan bagaimana mencapainya sebagai urutan primitif bahasa pemrograman (bagaimana dibiarkan hingga implementasi bahasa). Ini berbeda dengan pemrograman imperatif, yang mengimplementasikan algoritma dalam langkah-langkah eksplisit. Pemrograman deklaratif sering menganggap program sebagai teori logika formal, dan perhitungan sebagai deduksi dalam ruang logika itu. Pemrograman deklaratif dapat sangat menyederhanakan penulisan program paralel.
rdf:langString
宣言型プログラミング（英: Declarative programming）は、数理論理学的な性質を表わしている総称的なプログラミングパラダイムである。式の計算構造を、主に表示的意味論下のロジックで表現する構文にされることが多く、式枠外の副作用を伴なう制御フローや自由変数の多用などは排除されるようになる。計算構造は演繹的に組み立てられることが多い。命令型プログラミングと対をなしてのプログラミング言語の分類用語としても扱われている。 宣言型言語は、what the program must accomplish（何をなすべきか）方針で、副作用を排除した式や純粋関数の実装に努める。これは命令型言語の、how to accomplish it（どうなすべきか）方針で、副作用を前提にした操作的意味論下のアルゴリズム実装とよく対比される。 宣言的パラダイムは、関数型、論理型、データフローなどを包括し、データベース問い合わせ言語、マークアップ言語、ドメイン固有言語、構成管理、正規表現などにも言及されており、並行計算との親和性も特筆されている。
rdf:langString
선언형 프로그래밍(宣言型 프로그래밍, 영어: declarative programming)은 두 가지 뜻으로 통용되고 있다. 한 정의에 따르면, 프로그램이 어떤 방법으로 해야 하는지를 나타내기보다 무엇과 같은지를 설명하는 경우에 "선언형"이라고 한다. 예를 들어, 웹 페이지는 선언형인데 웹페이지는 제목, 글꼴, 본문, 그림과 같이 "무엇"이 나타나야하는지를 묘사하는 것이지 "어떤 방법으로" 컴퓨터 화면에 페이지를 나타내야 하는지를 묘사하는 것이 아니기 때문이다. 이것은 전통적인 포트란과 C, 자바와 같은 명령형 프로그래밍 언어와는 다른 접근방식인데, 명령형 프로그래밍 언어는 프로그래머가 실행될 알고리즘을 명시해주어야 하는 것이다. 간단히 말하여, 명령형 프로그램은 알고리즘을 명시하고 목표는 명시하지 않는 데 반해 선언형 프로그램은 목표를 명시하고 알고리즘을 명시하지 않는 것이다. 또 다른 정의에 따르면, 프로그램이 함수형 프로그래밍 언어, 논리형 프로그래밍 언어, 혹은 언어로 쓰인 경우에 "선언형"이라고 한다. 여기서 "선언형 언어"라는 것은 명령형 언어와 대비되는 이런 프로그래밍 언어들을 통칭하는 것이다. 이 두가지 정의는 서로 겹치는 부분도 있다. 특히, 제한형 프로그래밍과 논리형 프로그래밍은 필요한 해의 특성을 설명하고(무엇) 그 해를 찾는 데 사용하는 실제 알고리즘은 설명하지 않는다(어떤 방법). 그러나 대부분의 논리형과 제한형 언어들은 알고리즘을 설명할 수 있고, 상세한 부분을 구현할 수 있어서 첫 번째 정의를 따르는 엄밀한 의미의 선언형 프로그래밍 언어는 아니다. 마찬가지로, 명령형 프로그래밍 언어로 선언형으로 프로그램을 작성할 수도 있다. 라이브러리나 프레임워크 내부의 비선언형 부분을 캡슐화하여 이렇게 할 수 있다. 이런 형태의 예가 제이유닛 유닛 테스트 프레임워크에 반영되어 쓰이고 있는데, 이것은 정의만 되어 있으면 프레임워크로 등록하여 유닛을 테스트하는 것을 가능하게 한다. 선언형 프로그램에서는 그 언어의 표준 알고리즘으로 처리되는 자료 구조를 작성하거나 선언한다. 예를 들어서 웹페이지를 작성한다고 하면, 페이지가 HTML에서 무엇을 보여주어야 하는지를 선언하고 브라우저의 절차적 알고리즘이 이것을 화면에 표시할 점들로 변환한다. 선언형 언어는 다른 언어와 같이 문법을 가지고 있고 언어의 단어들이 어떻게 결합되어야 하는지 설명하고 있으며, 어떻게 프로그램의 출력에 맞게 할 것인지를 언어의 문장으로 설명하는 의미구조가 있다.
rdf:langString
In informatica il termine programmazione dichiarativa può avere due diversi significati.
rdf:langString
In de informatica worden computertalen ingedeeld in declaratieve talen en imperatieve talen. Heel kort gezegd is het verschil dat men in een declaratieve taal opschrijft wat er aan de hand is, en in een imperatieve taal hoe iets moet gebeuren. Een volkomen helder onderscheid is niet te maken. Een taal is declaratief als de basiselementen geen opdrachten zijn, maar beschrijvingen die tot ingewikkelder beschrijvingen worden samengesteld. Daarmee is nog niets gezegd over de aard van die beschrijvingen. Er is daarom een groot spectrum aan declaratieve talen. Naar vorm zijn tekstuele en visuele talen te onderscheiden, qua doel zijn onder andere algebra's, logica's, opmaaktalen, documentformaten en modelleertalen bekend. Omdat vorm en doel samenhangen is het niet zinvol om alle mogelijke combinaties te behandelen. Verderop worden de volgende soorten besproken:
* Tekstuele talen:
* talen uit de wiskunde: logica en algebra
* mark-uptalen
*
* Visuele talen:
* modelleertalen
* symbolische en representerende visuele programmeertalen Een boodschappenlijstje dat volgens vaste regels opgesteld is, vormt een eenvoudig voorbeeld van imperatieve taal. Een imperatieve taal hoeft dus geen programmeertaal te zijn, en een programmeertaal hoeft niet imperatief te zijn. Toch zijn de meest bekende imperatieve talen programmeertalen, zie daarom imperatief programmeren voor dit onderwerp. Ook declaratieve talen hoeven niets met computers te maken te hebben: een plattegrond kan een declaratieve taaluiting zijn, evenzo een gestructureerde beschrijving van een supermarkt of van het logistieke proces dat zich daar afspeelt. Op de computer zijn HTML-pagina's, tekst- en databasebestanden en vele andere gebaseerd op declaratieve talen. Een zuiver imperatieve taal is onmogelijk: het imperatieve boodschappenlijstje moet noodzakelijkerwijs de boodschappen omschrijven, of specificeren hoe ze te vinden zijn; evenzo is een programma een tekstuele of visuele declaratie van een gewenst elektronisch proces. Een taal in algemene zin kan wél volledig declaratief zijn, bij een computertaal is dat minder duidelijk: elke declaratie impliceert immers een opdracht aan de computer om iets weer te geven. Dat aspect is bij veel bestanden echter uitbesteed aan het programma waarmee het bestand geopend wordt. Zo is een hyperlink wel een imperatief element in HTML, maar het wordt aan de webbrowser overgelaten om daar al dan niet iets mee te doen; daarom wordt HTML gewoonlijk toch als declaratief beschouwd. Wel bevatten veel imperatieve talen voorzieningen met een declaratief karakter, en omgekeerd.
rdf:langString
Deklarativ programmering är samlingsnamnet för funktionell programmering och logikprogrammering. Dessa utmärks av att program innehåller deklarationer av funktioner definierade i termer av varandra, och är företrädesvis rekursiva. En programkörning är en beräkning av ett uttryck. Den dator som sist och slutligen utför beräkningen är bortabstraherad.
rdf:langString
Programowanie deklaratywne — rodzina paradygmatów programowania, które nie są z natury imperatywne. W przeciwieństwie do programów napisanych imperatywnie, programista opisuje warunki, jakie musi spełniać końcowe rozwiązanie (co chcemy osiągnąć), a nie szczegółową sekwencję kroków, które do niego prowadzą (jak to zrobić). Programowanie deklaratywne często traktuje programy jako pewne hipotezy wyrażone w logice formalnej, a wykonywanie obliczeń jako ich dowodzenie. Programowanie deklaratywne jest szczególnym przedmiotem zainteresowania naukowców, gdyż dzięki minimalizacji lub eliminacji skutków ubocznych może znacząco uprościć tworzenie programów współbieżnych. Paradygmat programowania deklaratywnego obejmuje szeroką gamę języków programowania i bardziej szczegółowych paradygmatów podrzędnych.
rdf:langString
Programação declarativa é um paradigma de programação baseado em programação funcional, programação lógica e programação restritiva. Tal termo é utilizado para discernir tais linguagens em relação à linguagens de programação imperativa. Esta programação dita que o programador deve modelar um dado problema através de assertivas acerca dos objetos do universo de discurso, ou seja, definindo o relacionamento lógico existente entre a cabeça e o corpo da cláusula, e nunca descrevendo como seus procedimentos funcionam. As soluções declarativas são usualmente mais fáceis de desenvolver e possuem a clareza e limpidez da pura lógica. É considerada o paradigma fundamental da programação lógica, sendo o oposto da programação procedimental, que é típica das linguagens convencionais. Em particular, a programação restritiva e a programação lógica descrevem propriedades da solução desejada, não especificando como o algoritmo em si deve agir. Apesar disso a maioria das linguagens desses paradigmas permite que os algoritmos sejam implementados com detalhes, então não constituem uma linguagem declarativa pura por definição. Similarmente, é possível escrever programas de forma declarativa utilizando linguagens de programação imperativas. Isso pode ser obtido utilizando métodos como encapsulamento para esconder detalhes de implementação fora de uma biblioteca. A programação declarativa geralmente considera os programas como teorias de uma lógica formal e os cálculos como deduções nesse espaço lógico e busca simplificar bastante a escrita e desenvolvimento de programas paralelos. Linguagens funcionais que admitem tal abordagem incluem Erlang, Haskell e Lisp. Linguagens lógicas que admitem tal abordagem incluem Prolog e . Linguagens restritivas que admitem tal abordagem incluem Oz. Existem ainda as linguagens baseadas em consultas de banco de dados (por exemplo, SQL , XQuery).
rdf:langString
Декларативне програмування — парадигма програмування, відповідно до якої, програма описує, який результат необхідно отримати, замість описання послідовності отримання цього результату. Наприклад, вебсторінки HTML — декларативні, оскільки вони описують, що містить сторінка та що має відображатися — заголовок, шрифт, текст, зображення — але не містить інструкцій як її слід відображати. Ця парадигма мов програмування відмінна від імперативних мов програмування, таких як, наприклад, Фортран, C і Java, які вимагають від розробника детального описання алгоритму отримання результатів. Стисло кажучи, для отримання результатів імперативні програми явно конкретизують алгоритм, а декларативні — явно конкретизують мету і залишають реалізацію алгоритму на допоміжному програмному забезпеченню (наприклад, інструкція вибірки SQL конкретизує властивості даних, які слід отримати від бази даних, але не процес отримання цих даних). Відповідно до іншого визначення, програма «декларативна», якщо її написано винятково функціональною мовою програмування, логічною мовою програмування, або мовою обмежень. Назва «Декларативна мова» іноді використовується, щоб згрупувати всі ці мови програмування та протиставити їх імперативним мовам програмування. Ці два визначення частково перекриваються. Зокрема, програмування обмеженнями і, меншою мірою, логічне програмування, зосереджуються на описі властивостей бажаного рішення (що), залишаючи невизначеним фактичний алгоритм, який необхідно використати для знаходження рішення (як). Проте, більшою мірою, мови логічного програмування, і, меншою, — мови обмеження, можуть описувати алгоритми й деталі реалізації, бувши таким чином не строго декларативними за першим визначенням.
rdf:langString
Декларати́вное программи́рование — парадигма программирования, в которой задаётся спецификация решения задачи, то есть описывается ожидаемый результат, а не способ его получения. Противоположностью декларативного является императивное программирование, при котором на том или ином уровне детализации требуется описание последовательности шагов для решения задачи. В качестве примеров декларативных языков обычно приводят HTML и SQL. Декларативные программы не используют понятия состояния, в частности, не содержат переменных и операторов присваивания, обеспечивается ссылочная прозрачность. Наиболее близким к «чисто декларативному» программированию является написание исполнимых спецификаций. В этом случае программа представляет собой формальную теорию, а её выполнение является одновременно автоматическим доказательством этой теории[прояснить] (соответствие Карри — Ховарда), и характерные для императивного программирования составляющие процесса разработки (проектирование, рефакторинг, отладка и другие) в этом случае исключаются: программа проектирует и доказывает сама себя[прояснить]. К подвидам декларативного программирования также зачастую относят функциональное и логическое программирование. Несмотря на то, что программы на таких языках нередко содержат алгоритмические составляющие, архитектура в императивном понимании (как нечто отдельное от кодирования) в них также отсутствует: схема программы является непосредственно частью исполняемого кода. На повышение уровня декларативности нацелено языково-ориентированное программирование. «Чисто декларативные» компьютерные языки зачастую неполны по Тьюрингу — так как теоретически не всегда возможно порождение исполняемого кода по декларативному описанию. Это иногда приводит к спорам о корректности термина «декларативное программирование» (менее спорным является «декларативное описание решения» или, что то же самое, «декларативное описание задачи»).
rdf:langString
宣告式編程（英語：Declarative programming）或译为声明式编程，是對與指令式編程不同的編程範型的一種合稱。它们建造计算机程序的结构和元素，表达计算的逻辑而不用描述它的控制流程。
xsd:nonNegativeInteger
18733