HTML Microdata document

This HTML5 document contains 440 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

Prefix	IRI
dbt	http://dbpedia.org/resource/Template:
dbpedia-el	http://el.dbpedia.org/resource/
n51	https://existentialtype.wordpress.com/2013/07/22/there-is-such-a-thing-as-a-declarative-language/
dbpedia-sv	http://sv.dbpedia.org/resource/
wikipedia-en	http://en.wikipedia.org/wiki/
dbpedia-fi	http://fi.dbpedia.org/resource/
dbr	http://dbpedia.org/resource/
dbpedia-ar	http://ar.dbpedia.org/resource/
dbpedia-ms	http://ms.dbpedia.org/resource/
dbpedia-et	http://et.dbpedia.org/resource/
dbpedia-he	http://he.dbpedia.org/resource/
dbpedia-fr	http://fr.dbpedia.org/resource/
n32	http://ky.dbpedia.org/resource/
dcterms	http://purl.org/dc/terms/
n35	https://web.archive.org/web/20060424045449/http:/www.csc.liv.ac.uk/~frans/OldLectures/2CS24/
dbpedia-cs	http://cs.dbpedia.org/resource/
rdfs	http://www.w3.org/2000/01/rdf-schema#
dbpedia-az	http://az.dbpedia.org/resource/
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
n37	http://d-nb.info/gnd/
dbp	http://dbpedia.org/property/
dbpedia-eu	http://eu.dbpedia.org/resource/
dbpedia-ga	http://ga.dbpedia.org/resource/
xsdh	http://www.w3.org/2001/XMLSchema#
dbpedia-id	http://id.dbpedia.org/resource/
dbpedia-uk	http://uk.dbpedia.org/resource/
n14	https://web.archive.org/web/20060330033506/http:/www.cs.chalmers.se/~oloft/Papers/wm96/
dbo	http://dbpedia.org/ontology/
dbpedia-sr	http://sr.dbpedia.org/resource/
dbpedia-vi	http://vi.dbpedia.org/resource/
dbpedia-pt	http://pt.dbpedia.org/resource/
dbpedia-hu	http://hu.dbpedia.org/resource/
dbpedia-ja	http://ja.dbpedia.org/resource/
n27	https://existentialtype.wordpress.com/2013/07/18/what-if-anything-is-a-declarative-language/
dbc	http://dbpedia.org/resource/Category:
dbpedia-de	http://de.dbpedia.org/resource/
dbpedia-pl	http://pl.dbpedia.org/resource/
dbpedia-ru	http://ru.dbpedia.org/resource/
yago	http://dbpedia.org/class/yago/
wikidata	http://www.wikidata.org/entity/
dbpedia-nl	http://nl.dbpedia.org/resource/
gold	http://purl.org/linguistics/gold/
yago-res	http://yago-knowledge.org/resource/
n23	https://global.dbpedia.org/id/
dbpedia-it	http://it.dbpedia.org/resource/
prov	http://www.w3.org/ns/prov#
foaf	http://xmlns.com/foaf/0.1/
dbpedia-zh	http://zh.dbpedia.org/resource/
dbpedia-ko	http://ko.dbpedia.org/resource/
dbpedia-fa	http://fa.dbpedia.org/resource/
dbpedia-tr	http://tr.dbpedia.org/resource/
n31	http://dbpedia.org/resource/ANSI/
dbpedia-es	http://es.dbpedia.org/resource/
freebase	http://rdf.freebase.com/ns/
owl	http://www.w3.org/2002/07/owl#

Statements

Subject Item: dbr:Programming_paradigm
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Prolog
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Puppet_(software)
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Pure_(programming_language)
dbo:wikiPageWikiLink: dbr:Declarative_programming
dbp:paradigm: dbr:Declarative_programming

Subject Item: dbr:QML
dbo:wikiPageWikiLink: dbr:Declarative_programming
dbp:paradigm: dbr:Declarative_programming

Subject Item: dbr:Qt_(software)
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Qt_Quick
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Sbt_(software)
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:End-user_development
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:List_of_functional_programming_topics
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Mizar_system
dbo:wikiPageWikiLink: dbr:Declarative_programming
dbp:paradigm: dbr:Declarative_programming

Subject Item: dbr:Nested_Context_Language
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:MHEG-5
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:SPARUL
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Bcfg2
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Declarative_programming
rdf:type: yago:WikicatComputerLanguages yago:ArtificialLanguage106894544 yago:Relation100031921 owl:Thing yago:Inflection113803782 yago:LinguisticRelation113797142 yago:WikicatProgrammingLanguages yago:WikicatProgrammingLanguageTopics yago:Paradigm113804375 yago:Message106598915 yago:GrammaticalRelation113796779 yago:ProgrammingLanguage106898352 yago:WikicatProgrammingParadigms yago:ComputerLanguage106899633 yago:Subject106599788 yago:Language106282651 yago:Communication100033020 yago:Abstraction100002137
rdfs:label: 선언형 프로그래밍 Declarative programming Programazio deklaratibo Programmazione dichiarativa Declaratieve taal Deklarativní programování Pemrograman deklaratif Декларативное программирование Programación declarativa Deklarativ programmering 宣告式編程 Programowanie deklaratywne Deklarative Programmierung Δηλωτικός προγραμματισμός 宣言型プログラミング Programação declarativa Декларативне програмування Ríomhchlárú fógrach Programmation déclarative برمجة تعريفية
rdfs:comment: 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 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. Στην επιστήμη υπολογιστών δηλωτικός προγραμματισμός (Αγγλικά: declarative programming) είναι ένα προγραμματιστικό υπόδειγμα όπου, σε αντίθεση με τον προστακτικό προγραμματισμό, το ζητούμενο αποτέλεσμα υπολογίζεται περιγράφοντας απλώς τις επιθυμητές ιδιότητες του. Παραδείγματα γλωσσών δηλωτικού προγραμματισμού είναι η Haskell, η Prolog, η SQL, η HTML και η CSS. 宣告式編程（英語：Declarative programming）或译为声明式编程，是對與指令式編程不同的編程範型的一種合稱。它们建造计算机程序的结构和元素，表达计算的逻辑而不用描述它的控制流程。 Декларативне програмування — парадигма програмування, відповідно до якої, програма описує, який результат необхідно отримати, замість описання послідовності отримання цього результату. Наприклад, вебсторінки HTML — декларативні, оскільки вони описують, що містить сторінка та що має відображатися — заголовок, шрифт, текст, зображення — але не містить інструкцій як її слід відображати. Ця парадигма мов програмування відмінна від імперативних мов програмування, таких як, наприклад, Фортран, C і Java, які вимагають від розробника детального описання алгоритму отримання результатів. 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. في علم الحاسوب، البرمجة التعريفية هي واحدة من أنماط البرمجة وهي تعبّر عن منطق البرنامج دون شرح تدفق السيطرة. الكثير من لغات البرمجة تلجأ لهذا النمط كي تقلل أو تلغي أي أعراض جانبية من خلال وصف ماذا يجب على البرنامج أن ينجزه بدلا من التطرق لكيفة إنجازه. يأتي هذا النمط في البرمجة على النقيض من البرمجة الأمرية والتي تتطلب توفير خوارزمية واضحة. أصبحت البرمجة التعريفية تلقى رواجا أكثر في الفترة الأخيرة حيث أنها أظهرت قدرة على تبسيط كتابة البرامج المتوازية. تشمل لغات البرمجة التعريفية أنواع مثل: التعابير النمطية والبرمجة المنطقية والبرمجة الوظيفية. 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. 선언형 프로그래밍(宣言型 프로그래밍, 영어: declarative programming)은 두 가지 뜻으로 통용되고 있다. 한 정의에 따르면, 프로그램이 어떤 방법으로 해야 하는지를 나타내기보다 무엇과 같은지를 설명하는 경우에 "선언형"이라고 한다. 예를 들어, 웹 페이지는 선언형인데 웹페이지는 제목, 글꼴, 본문, 그림과 같이 "무엇"이 나타나야하는지를 묘사하는 것이지 "어떤 방법으로" 컴퓨터 화면에 페이지를 나타내야 하는지를 묘사하는 것이 아니기 때문이다. 이것은 전통적인 포트란과 C, 자바와 같은 명령형 프로그래밍 언어와는 다른 접근방식인데, 명령형 프로그래밍 언어는 프로그래머가 실행될 알고리즘을 명시해주어야 하는 것이다. 간단히 말하여, 명령형 프로그램은 알고리즘을 명시하고 목표는 명시하지 않는 데 반해 선언형 프로그램은 목표를 명시하고 알고리즘을 명시하지 않는 것이다. 또 다른 정의에 따르면, 프로그램이 함수형 프로그래밍 언어, 논리형 프로그래밍 언어, 혹은 언어로 쓰인 경우에 "선언형"이라고 한다. 여기서 "선언형 언어"라는 것은 명령형 언어와 대비되는 이런 프로그래밍 언어들을 통칭하는 것이다. 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). 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 : 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 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. 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. 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. Декларати́вное программи́рование — парадигма программирования, в которой задаётся спецификация решения задачи, то есть описывается ожидаемый результат, а не способ его получения. Противоположностью декларативного является императивное программирование, при котором на том или ином уровне детализации требуется описание последовательности шагов для решения задачи. В качестве примеров декларативных языков обычно приводят HTML и SQL. На повышение уровня декларативности нацелено языково-ориентированное программирование. 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. 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. 宣言型プログラミング（英: Declarative programming）は、数理論理学的な性質を表わしている総称的なプログラミングパラダイムである。式の計算構造を、主に表示的意味論下のロジックで表現する構文にされることが多く、式枠外の副作用を伴なう制御フローや自由変数の多用などは排除されるようになる。計算構造は演繹的に組み立てられることが多い。命令型プログラミングと対をなしてのプログラミング言語の分類用語としても扱われている。宣言型言語は、what the program must accomplish（何をなすべきか）方針で、副作用を排除した式や純粋関数の実装に努める。これは命令型言語の、how to accomplish it（どうなすべきか）方針で、副作用を前提にした操作的意味論下のアルゴリズム実装とよく対比される。宣言的パラダイムは、関数型、論理型、データフローなどを包括し、データベース問い合わせ言語、マークアップ言語、ドメイン固有言語、構成管理、正規表現などにも言及されており、並行計算との親和性も特筆されている。 In informatica il termine programmazione dichiarativa può avere due diversi significati.
rdfs:seeAlso: dbr:Multi-paradigm_programming_language
dcterms:subject: dbc:Declarative_programming dbc:Programming_paradigms
dbo:wikiPageID: 210648
dbo:wikiPageRevisionID: 1114688556
dbo:wikiPageWikiLink: dbr:Configuration_management_database dbr:First-class_citizen dbr:QML dbr:Standard_ML dbr:Functional_programming dbr:Interaction dbr:Algorithm dbr:Puppet_(software) dbr:SQL dbr:Simile_(computing) dbr:Comparison_of_programming_paradigms dbr:Solver_(computer_science) dbr:Scheme_(programming_language) dbr:Inductive_programming dbr:Element_(mathematics) dbr:Lisp_(programming_language) dbr:Adjective dbr:Prolog dbr:Data_type dbr:Function_composition_(computer_science) dbr:Parallel_computing dbr:Object_(philosophy) dbr:Side_effect_(computer_science) dbr:Robert_Harper_(computer_scientist) dbr:Higher-order_function dbr:Imperative_programming dbr:Control_flow dbr:Referential_transparency dbr:ML_(programming_language) dbr:Pure_functional_language dbr:C_(programming_language) dbr:Mathematical_logic dbr:Turing-complete dbr:List_(abstract_data_type) dbr:Domain_of_a_function dbr:Domain_knowledge dbr:Artificial_intelligence dbr:Query_languages dbr:Tree_(data_structure) dbr:Language_primitive dbr:Programming_paradigm dbr:Computation dbr:Codomain dbr:Constraint_programming dbr:Yacc dbr:Haskell_(programming_language) dbr:Erlang_(programming_language) dbr:Procedural_programming dbr:Umbrella_term dbr:List_of_programming_languages_by_type dbr:Integrated_development_environment dbr:Representational_state_transfer dbr:Recursion_(computer_science) dbr:XAML dbr:Natural_language dbr:XQuery dbr:XSLT dbr:OCaml dbr:Shortest_path_problem dbr:User-interface_markup_language dbr:Modeling_language dbr:Domain-specific_language dbr:Logical_programming dbr:Program_(machine) dbr:Modelica dbr:Regular_expression dbr:Purely_functional_programming dbc:Declarative_programming dbr:Family_tree dbr:Programming_language_implementation dbr:Pure_function dbr:XML_namespace dbr:Make_(software) dbr:Computer_science dbr:Logic_programming dbr:HTML dbr:Analytica_(software) dbr:Set_(mathematics) dbr:Unification_(computing) dbr:MXML dbc:Programming_paradigms dbr:SOAP dbr:Backtracking
dbo:wikiPageExternalLink: n14:wm96.html n27: n35:declarative.html%23detail n51:
owl:sameAs: dbpedia-vi:Lập_trình_khai_báo freebase:m.01dxmk dbpedia-ms:Pengaturcaraan_penyata dbpedia-zh:宣告式編程 dbpedia-ar:برمجة_تعريفية dbpedia-he:תכנות_הצהרתי dbpedia-pt:Programação_declarativa dbpedia-az:Deklarativ_proqramlaşdırma wikidata:Q531152 dbpedia-hu:Deklaratív_programozás dbpedia-es:Programación_declarativa n23:4j2Pd dbpedia-sr:Декларативно_програмирање dbpedia-it:Programmazione_dichiarativa dbpedia-uk:Декларативне_програмування dbpedia-eu:Programazio_deklaratibo dbpedia-el:Δηλωτικός_προγραμματισμός n32:Декларатив_тили dbpedia-pl:Programowanie_deklaratywne dbpedia-fa:برنامه‌نویسی_اعلانی yago-res:Declarative_programming n37:4293503-9 dbpedia-fr:Programmation_déclarative dbpedia-sv:Deklarativ_programmering dbpedia-ga:Ríomhchlárú_fógrach dbpedia-et:Deklaratiivne_programmeerimine dbpedia-ko:선언형_프로그래밍 dbpedia-ru:Декларативное_программирование dbpedia-id:Pemrograman_deklaratif dbpedia-nl:Declaratieve_taal dbpedia-fi:Deklaratiivinen_ohjelmointi dbpedia-cs:Deklarativní_programování dbpedia-tr:Bildirimsel_programlama dbpedia-ja:宣言型プログラミング dbpedia-de:Deklarative_Programmierung
dbp:wikiPageUsesTemplate: dbt:Programming_paradigms dbt:Which dbt:Commonscat dbt:Short_description dbt:Authority_control dbt:Sxhl dbt:More_footnotes dbt:Types_of_programming_languages dbt:Multiple_issues dbt:Main dbt:Reflist dbt:Refimprove dbt:As_of dbt:Citation_needed dbt:See_also
dbo:abstract: 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). 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. في علم الحاسوب، البرمجة التعريفية هي واحدة من أنماط البرمجة وهي تعبّر عن منطق البرنامج دون شرح تدفق السيطرة. الكثير من لغات البرمجة تلجأ لهذا النمط كي تقلل أو تلغي أي أعراض جانبية من خلال وصف ماذا يجب على البرنامج أن ينجزه بدلا من التطرق لكيفة إنجازه. يأتي هذا النمط في البرمجة على النقيض من البرمجة الأمرية والتي تتطلب توفير خوارزمية واضحة. أصبحت البرمجة التعريفية تلقى رواجا أكثر في الفترة الأخيرة حيث أنها أظهرت قدرة على تبسيط كتابة البرامج المتوازية. تشمل لغات البرمجة التعريفية أنواع مثل: التعابير النمطية والبرمجة المنطقية والبرمجة الوظيفية. Декларати́вное программи́рование — парадигма программирования, в которой задаётся спецификация решения задачи, то есть описывается ожидаемый результат, а не способ его получения. Противоположностью декларативного является императивное программирование, при котором на том или ином уровне детализации требуется описание последовательности шагов для решения задачи. В качестве примеров декларативных языков обычно приводят HTML и SQL. Декларативные программы не используют понятия состояния, в частности, не содержат переменных и операторов присваивания, обеспечивается ссылочная прозрачность. Наиболее близким к «чисто декларативному» программированию является написание исполнимых спецификаций. В этом случае программа представляет собой формальную теорию, а её выполнение является одновременно автоматическим доказательством этой теории[прояснить] (соответствие Карри — Ховарда), и характерные для императивного программирования составляющие процесса разработки (проектирование, рефакторинг, отладка и другие) в этом случае исключаются: программа проектирует и доказывает сама себя[прояснить]. К подвидам декларативного программирования также зачастую относят функциональное и логическое программирование. Несмотря на то, что программы на таких языках нередко содержат алгоритмические составляющие, архитектура в императивном понимании (как нечто отдельное от кодирования) в них также отсутствует: схема программы является непосредственно частью исполняемого кода. На повышение уровня декларативности нацелено языково-ориентированное программирование. «Чисто декларативные» компьютерные языки зачастую неполны по Тьюрингу — так как теоретически не всегда возможно порождение исполняемого кода по декларативному описанию. Это иногда приводит к спорам о корректности термина «декларативное программирование» (менее спорным является «декларативное описание решения» или, что то же самое, «декларативное описание задачи»). 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. 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. 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. 선언형 프로그래밍(宣言型 프로그래밍, 영어: declarative programming)은 두 가지 뜻으로 통용되고 있다. 한 정의에 따르면, 프로그램이 어떤 방법으로 해야 하는지를 나타내기보다 무엇과 같은지를 설명하는 경우에 "선언형"이라고 한다. 예를 들어, 웹 페이지는 선언형인데 웹페이지는 제목, 글꼴, 본문, 그림과 같이 "무엇"이 나타나야하는지를 묘사하는 것이지 "어떤 방법으로" 컴퓨터 화면에 페이지를 나타내야 하는지를 묘사하는 것이 아니기 때문이다. 이것은 전통적인 포트란과 C, 자바와 같은 명령형 프로그래밍 언어와는 다른 접근방식인데, 명령형 프로그래밍 언어는 프로그래머가 실행될 알고리즘을 명시해주어야 하는 것이다. 간단히 말하여, 명령형 프로그램은 알고리즘을 명시하고 목표는 명시하지 않는 데 반해 선언형 프로그램은 목표를 명시하고 알고리즘을 명시하지 않는 것이다. 또 다른 정의에 따르면, 프로그램이 함수형 프로그래밍 언어, 논리형 프로그래밍 언어, 혹은 언어로 쓰인 경우에 "선언형"이라고 한다. 여기서 "선언형 언어"라는 것은 명령형 언어와 대비되는 이런 프로그래밍 언어들을 통칭하는 것이다. 이 두가지 정의는 서로 겹치는 부분도 있다. 특히, 제한형 프로그래밍과 논리형 프로그래밍은 필요한 해의 특성을 설명하고(무엇) 그 해를 찾는 데 사용하는 실제 알고리즘은 설명하지 않는다(어떤 방법). 그러나 대부분의 논리형과 제한형 언어들은 알고리즘을 설명할 수 있고, 상세한 부분을 구현할 수 있어서 첫 번째 정의를 따르는 엄밀한 의미의 선언형 프로그래밍 언어는 아니다. 마찬가지로, 명령형 프로그래밍 언어로 선언형으로 프로그램을 작성할 수도 있다. 라이브러리나 프레임워크 내부의 비선언형 부분을 캡슐화하여 이렇게 할 수 있다. 이런 형태의 예가 제이유닛 유닛 테스트 프레임워크에 반영되어 쓰이고 있는데, 이것은 정의만 되어 있으면 프레임워크로 등록하여 유닛을 테스트하는 것을 가능하게 한다. 선언형 프로그램에서는 그 언어의 표준 알고리즘으로 처리되는 자료 구조를 작성하거나 선언한다. 예를 들어서 웹페이지를 작성한다고 하면, 페이지가 HTML에서 무엇을 보여주어야 하는지를 선언하고 브라우저의 절차적 알고리즘이 이것을 화면에 표시할 점들로 변환한다. 선언형 언어는 다른 언어와 같이 문법을 가지고 있고 언어의 단어들이 어떻게 결합되어야 하는지 설명하고 있으며, 어떻게 프로그램의 출력에 맞게 할 것인지를 언어의 문장으로 설명하는 의미구조가 있다. 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. 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. Декларативне програмування — парадигма програмування, відповідно до якої, програма описує, який результат необхідно отримати, замість описання послідовності отримання цього результату. Наприклад, вебсторінки HTML — декларативні, оскільки вони описують, що містить сторінка та що має відображатися — заголовок, шрифт, текст, зображення — але не містить інструкцій як її слід відображати. Ця парадигма мов програмування відмінна від імперативних мов програмування, таких як, наприклад, Фортран, C і Java, які вимагають від розробника детального описання алгоритму отримання результатів. Стисло кажучи, для отримання результатів імперативні програми явно конкретизують алгоритм, а декларативні — явно конкретизують мету і залишають реалізацію алгоритму на допоміжному програмному забезпеченню (наприклад, інструкція вибірки SQL конкретизує властивості даних, які слід отримати від бази даних, але не процес отримання цих даних). Відповідно до іншого визначення, програма «декларативна», якщо її написано винятково функціональною мовою програмування, логічною мовою програмування, або мовою обмежень. Назва «Декларативна мова» іноді використовується, щоб згрупувати всі ці мови програмування та протиставити їх імперативним мовам програмування. Ці два визначення частково перекриваються. Зокрема, програмування обмеженнями і, меншою мірою, логічне програмування, зосереджуються на описі властивостей бажаного рішення (що), залишаючи невизначеним фактичний алгоритм, який необхідно використати для знаходження рішення (як). Проте, більшою мірою, мови логічного програмування, і, меншою, — мови обмеження, можуть описувати алгоритми й деталі реалізації, бувши таким чином не строго декларативними за першим визначенням. 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. 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). Στην επιστήμη υπολογιστών δηλωτικός προγραμματισμός (Αγγλικά: declarative programming) είναι ένα προγραμματιστικό υπόδειγμα όπου, σε αντίθεση με τον προστακτικό προγραμματισμό, το ζητούμενο αποτέλεσμα υπολογίζεται περιγράφοντας απλώς τις επιθυμητές ιδιότητες του. Παραδείγματα γλωσσών δηλωτικού προγραμματισμού είναι η Haskell, η Prolog, η SQL, η HTML και η CSS. Ένα παράδειγμα δηλωτικού προγραμματισμού είναι η χρήση των κανονικών εκφράσεων όπου υπάρχουν στις περισσότερες σύγχρονες γλώσσες προγραμματισμού. Ο προγραμματιστής απλά δηλώνει την κανονική έκφραση (regexpr) και στην συνέχεια υπολογίζεται το ζητούμενο αποτέλεσμα. In informatica il termine programmazione dichiarativa può avere due diversi significati. 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. 宣告式編程（英語：Declarative programming）或译为声明式编程，是對與指令式編程不同的編程範型的一種合稱。它们建造计算机程序的结构和元素，表达计算的逻辑而不用描述它的控制流程。 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. 宣言型プログラミング（英: Declarative programming）は、数理論理学的な性質を表わしている総称的なプログラミングパラダイムである。式の計算構造を、主に表示的意味論下のロジックで表現する構文にされることが多く、式枠外の副作用を伴なう制御フローや自由変数の多用などは排除されるようになる。計算構造は演繹的に組み立てられることが多い。命令型プログラミングと対をなしてのプログラミング言語の分類用語としても扱われている。宣言型言語は、what the program must accomplish（何をなすべきか）方針で、副作用を排除した式や純粋関数の実装に努める。これは命令型言語の、how to accomplish it（どうなすべきか）方針で、副作用を前提にした操作的意味論下のアルゴリズム実装とよく対比される。宣言的パラダイムは、関数型、論理型、データフローなどを包括し、データベース問い合わせ言語、マークアップ言語、ドメイン固有言語、構成管理、正規表現などにも言及されており、並行計算との親和性も特筆されている。 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.
gold:hypernym: dbr:Style
prov:wasDerivedFrom: wikipedia-en:Declarative_programming?oldid=1114688556&ns=0
dbo:wikiPageLength: 18733
foaf:isPrimaryTopicOf: wikipedia-en:Declarative_programming

Subject Item: dbr:Answer_set_programming
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Jose_Meseguer
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Ring_(programming_language)
dbo:wikiPageWikiLink: dbr:Declarative_programming
dbp:paradigm: dbr:Declarative_programming

Subject Item: dbr:Cypher_(query_language)
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Vadalog
dbo:wikiPageWikiLink: dbr:Declarative_programming
dbp:paradigm: dbr:Declarative_programming

Subject Item: dbr:Vensim
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Visual_Basic_.NET
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:ECL_(data-centric_programming_language)
dbo:wikiPageWikiLink: dbr:Declarative_programming
dbp:paradigm: dbr:Declarative_programming

Subject Item: dbr:Index_of_software_engineering_articles
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Inductive_programming
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:List_of_low-code_development_platforms
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:List_of_numerical-analysis_software
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:List_of_programming_languages_by_type
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:List_of_programming_languages_for_artificial_intelligence
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Reasoning_system
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Comparison_of_programming_paradigms
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Constraint_Handling_Rules
dbo:wikiPageWikiLink: dbr:Declarative_programming
dbp:paradigms: dbr:Declarative_programming

Subject Item: dbr:Max_(software)
dbo:wikiPageWikiLink: dbr:Declarative_programming
dbp:paradigm: dbr:Declarative_programming

Subject Item: dbr:SAMPL
dbo:wikiPageWikiLink: dbr:Declarative_programming
dbp:paradigm: dbr:Declarative_programming

Subject Item: dbr:SAP_NetWeaver_Visual_Composer
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:SQL
dbo:wikiPageWikiLink: dbr:Declarative_programming
dbp:paradigm: dbr:Declarative_programming

Subject Item: dbr:Escher_(programming_language)
dbo:wikiPageWikiLink: dbr:Declarative_programming
dbp:paradigm: dbr:Declarative_programming

Subject Item: dbr:OBJ_(programming_language)
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:OpenAPI_Specification
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Vladimir_Lifschitz
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Effi_(C++)
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Elm_(programming_language)
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Ember.js
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Glossary_of_artificial_intelligence
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Glossary_of_computer_science
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:GrGen
dbo:wikiPageWikiLink: dbr:Declarative_programming
dbp:paradigm: dbr:Declarative_programming

Subject Item: dbr:Miranda_(programming_language)
dbo:wikiPageWikiLink: dbr:Declarative_programming
dbp:paradigm: dbr:Declarative_programming

Subject Item: dbr:Mobile_app_development
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Monad_(functional_programming)
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Constraint_satisfaction_problem
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Construct_(python_library)
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Control_flow
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Milos_Konopasek
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:AngularJS
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Apache_Buildr
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Apache_Pig
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Apache_VXQuery
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Array_DBMS
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Make_(software)
dbo:wikiPageWikiLink: dbr:Declarative_programming
dbp:paradigm: dbr:Declarative_programming

Subject Item: dbr:Calculator_input_methods
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Standard_ML
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Claytronics
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Cloud-native_computing
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Comparison_of_multi-paradigm_programming_languages
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Comparison_of_programming_languages
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Computer_program
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Front-end_web_development
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Function-level_programming
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Functional_programming
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Hamcrest
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Declarative
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Portable_Content_Format
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Single-page_application
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:State_(computer_science)
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Syntax_(programming_languages)
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Microsoft_and_open_source
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Query_plan
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Backbone.js
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:COBOL
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:C_Sharp_(programming_language)
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:TypeDB
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Data-centric_programming_language
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Data_validation
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Whitacre_College_of_Engineering
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Windows_Presentation_Foundation
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Domain_relational_calculus
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:GOAL_agent_programming_language
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Code_as_data
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Logic_programming
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:ALFA_(XACML)
dbo:wikiPageWikiLink: dbr:Declarative_programming
dbp:paradigm: dbr:Declarative_programming

Subject Item: dbr:AMPL
dbo:wikiPageWikiLink: dbr:Declarative_programming
dbp:paradigm: dbr:Declarative_programming

Subject Item: n31:ISO_C_Specification_Language
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Adaptive_grammar
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Alma-0
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:DBase
dbo:wikiPageWikiLink: dbr:Declarative_programming
dbp:paradigm: dbr:Declarative_programming

Subject Item: dbr:Data_manipulation_language
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Datalog
dbo:wikiPageWikiLink: dbr:Declarative_programming
dbp:paradigm: dbr:Declarative_programming

Subject Item: dbr:Dataphor
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Esper_(software)
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Extensible_Application_Markup_Language
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Factor_(programming_language)
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:NixOS
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:PQL
dbo:wikiPageWikiLink: dbr:Declarative_programming
dbp:paradigm: dbr:Declarative_programming

Subject Item: dbr:Formula_calculator
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Graph-based_access_control
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:SGML_entity
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Programming_language_generations
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Procedural_programming
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Prova
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Relational_database
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Relational_model
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Tuple_relational_calculus
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Gremlin_(query_language)
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Gödel_(programming_language)
dbo:wikiPageWikiLink: dbr:Declarative_programming
dbp:paradigm: dbr:Declarative_programming

Subject Item: dbr:Iosevka
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Isabelle_(proof_assistant)
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:TaskJuggler
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:TextMate
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:TK_Solver
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:AIMMS
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Absys
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Jess_(programming_language)
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Swift_(programming_language)
dbo:wikiPageWikiLink: dbr:Declarative_programming
dbp:paradigm: dbr:Declarative_programming

Subject Item: dbr:Symbolic_artificial_intelligence
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:JSONiq
dbo:wikiPageWikiLink: dbr:Declarative_programming
dbp:paradigm: dbr:Declarative_programming

Subject Item: dbr:XRX_(web_application_architecture)
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Modelica
dbo:wikiPageWikiLink: dbr:Declarative_programming
dbp:paradigm: dbr:Declarative_programming

Subject Item: dbr:Arrow_(computer_science)
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Business_rules_approach
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:PicoLisp
dbo:wikiPageWikiLink: dbr:Declarative_programming
dbp:paradigms: dbr:Declarative_programming

Subject Item: dbr:Image_server
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Inform
dbo:wikiPageWikiLink: dbr:Declarative_programming
dbp:paradigm: dbr:Declarative_programming

Subject Item: dbr:Infrastructure_as_code
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Interlisp
dbo:wikiPageWikiLink: dbr:Declarative_programming
dbp:paradigms: dbr:Declarative_programming

Subject Item: dbr:Kotlin_(programming_language)
dbo:wikiPageWikiLink: dbr:Declarative_programming
dbp:paradigm: dbr:Declarative_programming

Subject Item: dbr:Mercury_(programming_language)
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Metafont
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Microsoft_Power_Fx
dbo:wikiPageWikiLink: dbr:Declarative_programming
dbp:paradigm: dbr:Declarative_programming

Subject Item: dbr:Object–relational_impedance_mismatch
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:OpenL_Tablets
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Open_Power_Template
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:RETRIEVE
dbo:wikiPageWikiLink: dbr:Declarative_programming
dbp:paradigm: dbr:Declarative_programming

Subject Item: dbr:React_(JavaScript_library)
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:React_Native
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Reactive_programming
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:SequenceL
dbo:wikiPageWikiLink: dbr:Declarative_programming
dbp:paradigms: dbr:Declarative_programming

Subject Item: dbr:XACML
dbo:wikiPageWikiLink: dbr:Declarative_programming
dbp:paradigm: dbr:Declarative_programming

Subject Item: dbr:XOD_(programming_language)
dbo:wikiPageWikiLink: dbr:Declarative_programming
dbp:paradigms: dbr:Declarative_programming

Subject Item: dbr:XQuery
dbo:wikiPageWikiLink: dbr:Declarative_programming
dbp:paradigm: dbr:Declarative_programming

Subject Item: dbr:XSLT
dbo:wikiPageWikiLink: dbr:Declarative_programming
dbp:paradigm: dbr:Declarative_programming

Subject Item: dbr:Rosetta-lang
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Select_(SQL)
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Side_effect_(computer_science)
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Value_(computer_science)
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:European_Master_Program_in_Computational_Logic
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Illumio
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Imperative_programming
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Programming_language
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Object_database
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Structure_editor
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Troff
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Rulelog
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Superoptimization
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Navigational_database
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Nonprocedural_language
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Outline_of_computer_programming
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Turing_completeness
dbo:wikiPageWikiLink: dbr:Declarative_programming

Subject Item: dbr:Declarative_(programming)
dbo:wikiPageWikiLink: dbr:Declarative_programming
dbo:wikiPageRedirects: dbr:Declarative_programming

Subject Item: dbr:Declarative_Language
dbo:wikiPageWikiLink: dbr:Declarative_programming
dbo:wikiPageRedirects: dbr:Declarative_programming

Subject Item: dbr:Declarative_Programming_Language
dbo:wikiPageWikiLink: dbr:Declarative_programming
dbo:wikiPageRedirects: dbr:Declarative_programming

Subject Item: dbr:Declarative_language
dbo:wikiPageWikiLink: dbr:Declarative_programming
dbo:wikiPageRedirects: dbr:Declarative_programming

Subject Item: dbr:Declarative_languages
dbo:wikiPageWikiLink: dbr:Declarative_programming
dbo:wikiPageRedirects: dbr:Declarative_programming

Subject Item: dbr:Declarative_program
dbo:wikiPageWikiLink: dbr:Declarative_programming
dbo:wikiPageRedirects: dbr:Declarative_programming

Subject Item: dbr:Declarative_programming_language
dbo:wikiPageWikiLink: dbr:Declarative_programming
dbo:wikiPageRedirects: dbr:Declarative_programming

Subject Item: wikipedia-en:Declarative_programming
foaf:primaryTopic: dbr:Declarative_programming