| Ada | High-level, structured, and object-oriented language with strong typing, used for reliability in mission-critical systems. |
|---|
| APL | A concise programming language focused on multi-dimensional arrays, using unique symbols to represent functions, influencing modeling and functional programming. |
|---|
| C# | Versatile high-level language supporting multiple programming paradigms. |
|---|
| Ciao | Modern Prolog implementation focused on portability, extensibility, and modularity. |
|---|
| Cozo | A database leveraging Datalog for queries. |
|---|
| Datahike | A Datalog engine supporting immutability and distribution. |
|---|
| Datalevin | A simple, fast and versatile Datalog database. |
|---|
| Datalog | Declarative logic programming language and subset of Prolog, used for deductive databases. |
|---|
| DataScript | Immutable database and Datalog query engine for Clojure, ClojureScript and JS. |
|---|
| Datomic | Distributed database with an immutable data model and Datalog implementation. |
|---|
| Delphi | General-purpose programming language with an IDE for rapid application development, using the Delphi dialect of Object Pascal. |
|---|
| Euphoria | User-friendly language focusing on simplicity and readability, popular for various applications on multiple OS platforms. |
|---|
| Forth | Stack-oriented programming language known for its flexibility, efficiency, and use in embedded systems. |
|---|
| Go | Statically typed, compiled language with memory safety and CSP-style concurrency, designed at Google. |
|---|
| Gremlin | Graph traversal language and virtual machine developed by Apache TinkerPop. |
|---|
| HiveQL | SQL-like query language for Hadoop developed by Apache Hive. |
|---|
| JavaScript | Scripting language essential for web interactivity and development. |
|---|
| Julia | A dynamic language designed for numerical and scientific computing with strong support for parallel computing and multiple dispatch. |
|---|
| K | Proprietary array language, foundation of kdb+, developed by Kx Systems. |
|---|
| Logica | A declarative logic programming language for data manipulation. |
|---|
| Lua | Lightweight, high-level language designed for embedding in applications. |
|---|
| Mono | .NET compatible software framework. |
|---|
| MoonScript | Dynamic scripting language compiling to Lua with CoffeeScript-inspired syntax. |
|---|
| Perl | Dynamic language known for its text-processing capabilities. |
|---|
| Prolog | Logic programming language used in AI and theorem proving, influenced by first-order logic for declarative tasks. |
|---|
| Python | Dynamic, high-level programming language known for its easy-to-read syntax. |
|---|
| Racket | Multi-paradigm language derived from Lisp and Scheme, known for powerful macros and libraries. |
|---|
| Rebol | Cross-platform multi-paradigm language known for its dialects and simplicity. |
|---|
| SHACL | W3C standard language for RDF graph constraints and validation. |
|---|
| SQL | Domain-specific language for managing data in relational databases. |
|---|
| SWI-Prolog | Implementation of Prolog focused on versatility and rich libraries. |
|---|
| Swift | Developed by Apple for its platforms, with a focus on safety and performance. |
|---|
| Tcl | Dynamic, interpreted programming language known for its extensibility, embeddability, and support for multiple paradigms. |
|---|
| Visual Basic | Multi-paradigm language developed by Microsoft for Windows applications. |
|---|
| Xojo | Cross-platform development tool and proprietary object-oriented programming language for building native applications. |
|---|
| XQuery | W3C language for querying and transforming XML data using XPath. |
|---|
| XSB | Prolog dialect with tabled resolution for logic programming and deductive databases. |
|---|
| XSLT | Declarative language for transforming XML documents. |
|---|