SettingsDeclarative programming languages
.QL
.QL is an object-oriented query language used to retrieve data from relational database management systems.
.QL is an object-oriented query language used to retrieve data from relational database management systems.
ABSET
ABSET was an early declarative programming language from the University of Aberdeen.
ABSET was an early declarative programming language from the University of Aberdeen.
ABSYS
ABSYS was an early declarative programming language from the University of Aberdeen which anticipated a number of features of Prolog.
ABSYS was an early declarative programming language from the University of Aberdeen which anticipated a number of features of Prolog.
Alpha (programming language)
The Alpha language was the original database language developed by Edgar F. Codd, the inventor of the relational database approach.
The Alpha language was the original database language developed by Edgar F. Codd, the inventor of the relational database approach.
ASCEND
ASCEND is a free, open source, mathematical modelling system developed at Carnegie Mellon University since the late 1980s.
ASCEND is a free, open source, mathematical modelling system developed at Carnegie Mellon University since the late 1980s.
Atom (programming language)
Atom is a domain-specific language (DSL) in Haskell, for designing real-time embedded software.
Atom is a domain-specific language (DSL) in Haskell, for designing real-time embedded software.
ATS (programming language)
ATS (Applied Type System) is a programming language whose stated purpose is to support theorem proving in combination with practical programming through the use of advanced type systems.
ATS (Applied Type System) is a programming language whose stated purpose is to support theorem proving in combination with practical programming through the use of advanced type systems.
CLP(R)
CLP(R) is a declarative programming language.
CLP(R) is a declarative programming language.
Constraint Handling Rules
Constraint Handling Rules (CHR) is a declarative programming language extension introduced in 1991 by Thom Frühwirth.
Constraint Handling Rules (CHR) is a declarative programming language extension introduced in 1991 by Thom Frühwirth.
Curl (programming language)
Curl is a reflective object-oriented programming language for interactive web applications which goal is to provide a smoother transition between formatting and programming.
Curl is a reflective object-oriented programming language for interactive web applications which goal is to provide a smoother transition between formatting and programming.
CycL
CycL in computer science and artificial intelligence is an ontology language used by Doug Lenat's Cyc artificial intelligence project.
CycL in computer science and artificial intelligence is an ontology language used by Doug Lenat's Cyc artificial intelligence project.
Declarative programming
In computer science, declarative programming is a programming paradigm that expresses the logic of a computation without describing its control flow.
In computer science, declarative programming is a programming paradigm that expresses the logic of a computation without describing its control flow.
Dependent ML
Dependent ML is an experimental functional programming language proposed by Frank Pfenning and Hongwei Xi. Dependent ML extends ML by a restricted notion of dependent types: types may be depende...
Dependent ML is an experimental functional programming language proposed by Frank Pfenning and Hongwei Xi. Dependent ML extends ML by a restricted notion of dependent types: types may be depende...
Distributed Application Specification Language
The DASL Programming Language (Distributed Application Specification Language) is a high-level, strongly typed programming language originally developed at Sun Microsystems Laboratories between ...
The DASL Programming Language (Distributed Application Specification Language) is a high-level, strongly typed programming language originally developed at Sun Microsystems Laboratories between ...
ECL, data-centric programming language for Big Data
ECL is a declarative, data centric programming language designed in 2000 to allow a team of programmers to process Big Data across a high performance computing cluster without the programmer bei...
ECL is a declarative, data centric programming language designed in 2000 to allow a team of programmers to process Big Data across a high performance computing cluster without the programmer bei...
Embedded SQL
Embedded SQL is a method of combining the computing power of a programming language and the database manipulation capabilities of SQL. Embedded SQL statements are SQL statements written inline w...
Embedded SQL is a method of combining the computing power of a programming language and the database manipulation capabilities of SQL. Embedded SQL statements are SQL statements written inline w...
Epigram (programming language)
Epigram is the name of a functional programming language with dependent types.
Epigram is the name of a functional programming language with dependent types.
Erlang (programming language)
Erlang is a general-purpose concurrent, garbage-collected programming language and runtime system.
Erlang is a general-purpose concurrent, garbage-collected programming language and runtime system.
Extensible Application Markup Language
Extensible Application Markup Language is a declarative XML-based language created by Microsoft and is used for initializing structured values and objects.
Extensible Application Markup Language is a declarative XML-based language created by Microsoft and is used for initializing structured values and objects.
FuncDesigner
FuncDesigner is a computer algebra system (CAS) written as a Python module.
FuncDesigner is a computer algebra system (CAS) written as a Python module.
FXML
FXML is a is a declarative XML-based language created by Oracle Corporation for defining the user interface of a JavaFX 2.0 application.
FXML is a is a declarative XML-based language created by Oracle Corporation for defining the user interface of a JavaFX 2.0 application.
GeneXus
GeneXus is a Cross-Platform, knowledge representation-based, development tool, mainly oriented to enterprise-class applications for the Web applications, Microsoft Windows and smart device platforms.
GeneXus is a Cross-Platform, knowledge representation-based, development tool, mainly oriented to enterprise-class applications for the Web applications, Microsoft Windows and smart device platforms.
Glowe (programming language)
GLOWE is an acronym which stands for "Global Language for Open Widget Environments".
GLOWE is an acronym which stands for "Global Language for Open Widget Environments".
GOAL Agent Programming Language
GOAL is an agent programming language for programming rational agents.
GOAL is an agent programming language for programming rational agents.
Gofer (programming language)
Gofer ("Good For Equational Reasoning") is an implementation of the programming language Haskell intended for educational purposes and supporting a language based on vers...
Gofer ("Good For Equational Reasoning") is an implementation of the programming language Haskell intended for educational purposes and supporting a language based on vers...
HPCC
HPCC (High-Performance Computing Cluster), also known as DAS (Data Analytics Supercomputer), is a Data Intensive Computing system platform developed by LexisNexis Risk Solutions.
HPCC (High-Performance Computing Cluster), also known as DAS (Data Analytics Supercomputer), is a Data Intensive Computing system platform developed by LexisNexis Risk Solutions.
JavaFX Script
JavaFX Script is a scripting language designed by Sun Microsystems, forming part of the JavaFX family of technologies on the Java Platform.
JavaFX Script is a scripting language designed by Sun Microsystems, forming part of the JavaFX family of technologies on the Java Platform.
JModelica.org
JModelica.org is a free and open source platform based on the Modelica modeling language for modeling, simulation, optimization and analysis of complex dynamic systems.
JModelica.org is a free and open source platform based on the Modelica modeling language for modeling, simulation, optimization and analysis of complex dynamic systems.
KM programming language
KM, the Knowledge Machine, is a frame-based language used for knowledge representation work.
KM, the Knowledge Machine, is a frame-based language used for knowledge representation work.
Lithe (programming language)
Lithe is an experimental programming language created in 1982 by David Sandberg at the University of Washington which allows the programmer to freely choose his own syntax.
Lithe is an experimental programming language created in 1982 by David Sandberg at the University of Washington which allows the programmer to freely choose his own syntax.
LOOM (ontology)
Loom or LOOM is a knowledge representation language developed by researchers in the Artificial Intelligence research group at the University of Southern California's Information Sciences I...
Loom or LOOM is a knowledge representation language developed by researchers in the Artificial Intelligence research group at the University of Southern California's Information Sciences I...
Lucid (programming language)
Lucid is a dataflow programming language.
Lucid is a dataflow programming language.
Lustre (programming language)
Lustre is a formally defined, declarative, and synchronous dataflow programming language, for programming reactive systems.
Lustre is a formally defined, declarative, and synchronous dataflow programming language, for programming reactive systems.
MetaPost
MetaPost refers to both a programming language and the interpreter of the MetaPost programming language.
MetaPost refers to both a programming language and the interpreter of the MetaPost programming language.
Miranda (programming language)
Miranda is a non-strict purely functional programming language designed by David Turner as a successor to his earlier programming languages SASL and KRC, using some concepts from ML and Hope.
Miranda is a non-strict purely functional programming language designed by David Turner as a successor to his earlier programming languages SASL and KRC, using some concepts from ML and Hope.
Modelica
Modelica is an object-oriented, declarative, multi-domain modeling language for component-oriented modeling of complex systems, e.g., systems containing mechanical, electrical, electronic, hydra...
Modelica is an object-oriented, declarative, multi-domain modeling language for component-oriented modeling of complex systems, e.g., systems containing mechanical, electrical, electronic, hydra...
MXML
MXML is an XML-based user interface markup language first introduced by Macromedia in March 2004.
MXML is an XML-based user interface markup language first introduced by Macromedia in March 2004.
Pan (programming language)
The pan configuration language allows the definition of machine configuration information and an associated schema with a simple, human-accessible syntax.
The pan configuration language allows the definition of machine configuration information and an associated schema with a simple, human-accessible syntax.
Pig (programming language)
Pig is a high-level platform for creating MapReduce programs used with Hadoop.
Pig is a high-level platform for creating MapReduce programs used with Hadoop.
Prolog
Prolog is a general purpose logic programming language associated with artificial intelligence and computational linguistics.
Prolog is a general purpose logic programming language associated with artificial intelligence and computational linguistics.
Prolog syntax and semantics
The syntax and semantics of the Prolog programming language is the set of rules that defines how a Prolog program is written and how it is interpreted.
The syntax and semantics of the Prolog programming language is the set of rules that defines how a Prolog program is written and how it is interpreted.
Qi (programming language)
Qi is a functional programming language developed by Dr Mark Tarver and introduced in April 2005.
Qi is a functional programming language developed by Dr Mark Tarver and introduced in April 2005.
QML
QML is a JavaScript-based, declarative language for designing user interface centric applications.
QML is a JavaScript-based, declarative language for designing user interface centric applications.
Quark Framework
The Quark Framework (Open Quark) consists of a non-strict functional language and runtime for the Java platform.
The Quark Framework (Open Quark) consists of a non-strict functional language and runtime for the Java platform.
QUILL
The Quintiq Logic Language (Quill) is a high level object oriented programming language created by the Dutch software company Quintiq.
The Quintiq Logic Language (Quill) is a high level object oriented programming language created by the Dutch software company Quintiq.
Shen (programming language)
Shen is a functional programming language developed by Dr. Mark Tarver and introduced in October 2011.
Shen is a functional programming language developed by Dr. Mark Tarver and introduced in October 2011.
SIGNAL (programming language)
SIGNAL is a programming language based on synchronized data-flow: a process is a set of equations on elementary flows describing both data and control.
SIGNAL is a programming language based on synchronized data-flow: a process is a set of equations on elementary flows describing both data and control.
SIGNAL programming language
SIGNAL is a programming language based on synchronized data-flow: a process is a set of equations on elementary flows describing both data and control.
SIGNAL is a programming language based on synchronized data-flow: a process is a set of equations on elementary flows describing both data and control.
SPARQL
SPARQL is an RDF query language, that is, a query language for databases, able to retrieve and manipulate data stored in Resource Description Framework format.
SPARQL is an RDF query language, that is, a query language for databases, able to retrieve and manipulate data stored in Resource Description Framework format.
SQL
SQL ( "S-Q-L"; sometimes referred to as Structured Query Language) is a special-purpose programming language designed for managing data in relational database management systems (RDBMS).
SQL ( "S-Q-L"; sometimes referred to as Structured Query Language) is a special-purpose programming language designed for managing data in relational database management systems (RDBMS).
SQL-92
SQL-92 was the third revision of the SQL database query language.
SQL-92 was the third revision of the SQL database query language.
SQL:1999
SQL:1999 was the fourth revision of the SQL database query language.
SQL:1999 was the fourth revision of the SQL database query language.
SQL:2003
SQL:2003 is the fifth revision of the SQL database query language.
SQL:2003 is the fifth revision of the SQL database query language.
SQL:2008
SQL:2008 is the sixth revision of the ISO and ANSI standard for the SQL database query language.
SQL:2008 is the sixth revision of the ISO and ANSI standard for the SQL database query language.
SQL:2011
SQL:2011 or ISO/IEC 9075:2011 is the seventh revision of the ISO and ANSI standard for the SQL database query language.
SQL:2011 or ISO/IEC 9075:2011 is the seventh revision of the ISO and ANSI standard for the SQL database query language.
Subset-equational language
The Subset-equational language (SEL) is a declarative programming language for set processing, written by Bharat Jayaraman.
The Subset-equational language (SEL) is a declarative programming language for set processing, written by Bharat Jayaraman.
Synchronized Multimedia Integration Language
Synchronized Multimedia Integration Language (SMIL, ) is a World Wide Web Consortium recommended Extensible Markup Language (XML) markup language to describe multimedia presentations.
Synchronized Multimedia Integration Language (SMIL, ) is a World Wide Web Consortium recommended Extensible Markup Language (XML) markup language to describe multimedia presentations.
UnQL
UnQL is a specification for a query language for NoSQL databases, developed by the creators of SQLite and CouchDB database management systems, based on SQL used in relational databases with the ...
UnQL is a specification for a query language for NoSQL databases, developed by the creators of SQLite and CouchDB database management systems, based on SQL used in relational databases with the ...
Web Ontology Language
The Web Ontology Language is a family of knowledge representation languages for authoring ontologies.
The Web Ontology Language is a family of knowledge representation languages for authoring ontologies.
XProc
XProc is a W3C Recommendation to define an XML transformation language to define XML Pipelines.
XProc is a W3C Recommendation to define an XML transformation language to define XML Pipelines.
XSLT
XSLT (Extensible Stylesheet Language Transformations) is a declarative, XML-based language used for the transformation of XML documents.
XSLT (Extensible Stylesheet Language Transformations) is a declarative, XML-based language used for the transformation of XML documents.
XSQL
XSQL combines the power of XML and SQL to provide a language and database independent means to store and retrieve SQL queries and their results.
XSQL combines the power of XML and SQL to provide a language and database independent means to store and retrieve SQL queries and their results.