[{"id":626,"name":".QL","slug":"dotql","description":"QL is a declarative query language designed for retrieving data from databases. It is commonly used for data analytics and reporting purposes.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/.QL","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:04:03","github_repo_count":null,"paradigms":"3,6,11","typings":"8,9","oses":null},{"id":8,"name":"ABSYS","slug":"absys","description":"ABSYS is a high-level programming language used for system programming, specifically designed for the Ada programming language. It is primarily used in industries that require real-time, embedded, and safety-critical systems development.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Absys","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:34","github_repo_count":null,"paradigms":"6,11","typings":null,"oses":null},{"id":20,"name":"Aldor","slug":"aldor","description":"Aldor is a programming language that combines functional and imperative programming paradigms, with strong support for generic programming and abstraction. It is commonly used for developing high-performance mathematical software and computer algebra systems.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"http:\/\/www.aldor.org","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Aldor","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:36","github_repo_count":null,"paradigms":"3,8,10,11","typings":"8,67","oses":"4"},{"id":22,"name":"Algebraic Logic Functional programming language","slug":"algebraic_logic_functional_programming_language","description":"Algebraic Logic Functional programming language (ALF) is a declarative programming language that combines algebraic techniques with logic programming. It is primarily used for developing and reasoning about complex systems, including software verification and synthesis.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"http:\/\/www.informatik.uni-kiel.de\/~mh\/systems\/ALF\/README","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Algebraic_Logic_Functional_programming_language","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:36","github_repo_count":84,"paradigms":"10,11","typings":null,"oses":null},{"id":30,"name":"Alma-0","slug":"alma-0","description":"Alma-0 is a programming language designed for the specification and implementation of concurrent systems. It is mainly used for modeling and verification of concurrent algorithms and protocols.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"http:\/\/www.cwi.nl\/en\/alma\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Alma-0","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:38","github_repo_count":null,"paradigms":"7,8,11,54","typings":"8,9","oses":null},{"id":91,"name":"Ciao","slug":"ciao","description":"Ciao is a general-purpose programming language that integrates logic programming and functional programming paradigms. It is commonly used for developing intelligent software systems, including applications in artificial intelligence, natural language processing, and constraint programming.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"http:\/\/www.ciao-lang.org","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Ciao_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:46","github_repo_count":null,"paradigms":"3,11,77","typings":null,"oses":null},{"id":94,"name":"CLACL","slug":"clacl","description":"CLACL is a high-level, dynamically typed programming language designed for rapid prototyping, scripting, and automation tasks. It provides a simple syntax and powerful built-in functions, making it ideal for manipulating data, performing mathematical operations, and creating small applications.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"http:\/\/www.1stleft.com\/clac\/English\/index.htm","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/CLACL","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:47","github_repo_count":null,"paradigms":"11","typings":null,"oses":"3"},{"id":100,"name":"Clojure","slug":"clojure","description":"Clojure is a dynamically-typed, functional programming language that runs on the Java Virtual Machine (JVM). It is used for developing scalable and concurrent applications, with a focus on simplicity, immutability, and code-as-data philosophy.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"https:\/\/clojure.org\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Clojure","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:48","github_repo_count":87098,"paradigms":"10,11,30,36","typings":"2,9","oses":null},{"id":643,"name":"Curry","slug":"curry","description":"Curry is a functional logic programming language that combines features from functional programming and logic programming. Its main uses include declarative programming, constraint solving, and natural language processing.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"https:\/\/www.curry-language.org\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Curry_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:04:13","github_repo_count":20,"paradigms":"10,11,54","typings":"7,8,9","oses":null},{"id":624,"name":"Datalog","slug":"datalog","description":"Datalog is a declarative query language derived from Prolog, used for expressing and evaluating complex logical queries over relational databases. It is commonly employed in database management systems for tasks like data querying, rule-based reasoning, and data integration.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Datalog","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:04:03","github_repo_count":null,"paradigms":"6,11","typings":"1","oses":null},{"id":160,"name":"Escher","slug":"escher","description":"Escher is a statically-typed functional programming language that enhances the development of concurrent and distributed systems by providing built-in mechanisms for message-passing concurrency and fault tolerance. Its main uses include creating scalable and reliable applications in domains such as distributed systems, cloud computing, and event-driven architectures.","execution_mechanism":"other","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Escher_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:57","github_repo_count":null,"paradigms":"6,10,11","typings":"8,61","oses":null},{"id":180,"name":"Flix","slug":"flix","description":"Flix is a statically-typed functional programming language that is designed for writing efficient and concise code. Its main uses include developing scalable and reliable applications, particularly in domains such as data analytics and distributed systems.","execution_mechanism":"The execution mechanism for the Flix programming language is 'interpreted'.","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Flix_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:01","github_repo_count":null,"paradigms":"8,10,11","typings":"7,8,9,18","oses":null},{"id":195,"name":"Fril","slug":"fril","description":"\"Fril is a high-level, dynamically-typed programming language designed for expressing and manipulating logical constraints. It is primarily used in areas such as constraint programming, artificial intelligence, and optimization problems.\"","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Fril","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:03","github_repo_count":null,"paradigms":"11","typings":null,"oses":null},{"id":214,"name":"Go!","slug":"go_","description":"Go! is an agent-based programming language in the tradition of logic-based programming languages like Prolog. It was introduced in a 2003 paper by Francis McCabe and Keith Clark.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Go!_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:05","github_repo_count":null,"paradigms":"8,10,11,25,36","typings":"9","oses":null},{"id":216,"name":"G\u00f6del","slug":"godel","description":"The G\u00f6del programming language is a declarative programming language that utilizes logic programming and constraint solving. Its main uses include solving combinatorial problems, implementing artificial intelligence algorithms, and modeling complex systems.","execution_mechanism":"other","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/G%C3%B6del_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:06","github_repo_count":null,"paradigms":"6,11","typings":"9","oses":null},{"id":266,"name":"Jess","slug":"jess","description":"Jess is a rule-based programming language that is used for building intelligent systems and expert systems. It combines the power of rule-based programming and the flexibility of Java to manipulate and reason about complex knowledge.","execution_mechanism":"other","logo_svg":null,"repo_url":null,"website_url":"http:\/\/www.jessrules.com\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Jess_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:12","github_repo_count":null,"paradigms":"6,11","typings":null,"oses":null},{"id":287,"name":"KRL","slug":"krl","description":"KRL (Knowledge Representation Language) is a rule-based programming language used for expressing and manipulating knowledge. Its main uses include creating expert systems, knowledge-based applications, and designing intelligent agents.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/KRL_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:15","github_repo_count":426,"paradigms":"6,11","typings":null,"oses":null},{"id":308,"name":"Logtalk","slug":"logtalk","description":"Logtalk is an open-source object-oriented programming language that extends Prolog with classes, protocols, and a comprehensive development toolset. It is primarily used for creating reusable and modular code, building large-scale applications, and promoting software reuse.","execution_mechanism":"other","logo_svg":null,"repo_url":null,"website_url":"https:\/\/logtalk.org\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Logtalk","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:17","github_repo_count":66,"paradigms":"3,11,17","typings":null,"oses":null},{"id":328,"name":"Maude system","slug":"maude_system","description":"The 'Maude system' is a high-level programming language and a rewriting logic tool that supports formal specification, analysis, and execution of concurrent and distributed systems. Its main uses include modeling and analyzing software and hardware systems, formal verification of system properties, and rapid prototyping of system designs.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Maude_system","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:20","github_repo_count":1810023,"paradigms":"11,67,70","typings":null,"oses":null},{"id":331,"name":"Mercury","slug":"mercury","description":"Mercury is a logic\/functional programming language with a strong, static type system. It is designed for the development of high-performance and reliable software, especially in domains such as real-time systems, safety-critical systems, and program analysis.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":"http:\/\/www.mercurylang.org","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Mercury_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:20","github_repo_count":746,"paradigms":"3,10,11,25,28","typings":"8,9,214,217","oses":null},{"id":436,"name":"Planner","slug":"planner","description":"Planner is a high-level programming language designed for artificial intelligence applications. It is mainly used for writing programs that solve complex planning problems, such as resource allocation and scheduling.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Planner_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:37","github_repo_count":null,"paradigms":"7,11","typings":null,"oses":null},{"id":458,"name":"Prolog","slug":"prolog","description":"Prolog is a logic programming language that uses formal logic rules to solve problems. It is mainly used for tasks such as artificial intelligence, natural language processing, and expert systems.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Prolog","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:39","github_repo_count":25981,"paradigms":"6,11,79","typings":null,"oses":null},{"id":474,"name":"R++","slug":"rplusplus","description":"R++ is an extension of the R programming language that incorporates features of C++. It is primarily used for statistical computing, data analysis, and developing advanced statistical models.","execution_mechanism":"other","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/R%2B%2B","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:41","github_repo_count":797761,"paradigms":"11","typings":null,"oses":null},{"id":490,"name":"ROOP","slug":"roop","description":"ROOP is a concurrent programming language that provides built-in features for handling distributed systems and parallel computation. It is commonly used for developing high-performance software applications, especially in scientific and engineering domains.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/ROOP_(programming_language)","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:43","github_repo_count":null,"paradigms":"3,7,11","typings":null,"oses":null},{"id":590,"name":"Visual Prolog","slug":"visual_prolog","description":"Visual Prolog is a strongly-typed logic programming language that provides built-in support for the development of intelligent systems. It is commonly used for developing expert systems, natural language processing applications, and other AI-related projects.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"http:\/\/www.visual-prolog.com","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Visual_Prolog","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:57","github_repo_count":18028,"paradigms":"3,8,10,11","typings":"7,8,9","oses":"3"},{"id":610,"name":"XSB","slug":"xsb","description":"XSB is a logic-based, declarative programming language that is primarily used for knowledge representation and reasoning tasks in artificial intelligence and database applications.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":"http:\/\/xsb.sourceforge.net\/","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/XSB","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:04:00","github_repo_count":null,"paradigms":"11","typings":null,"oses":"7"},{"id":623,"name":"\u03bbProlog","slug":"lambdaprolog","description":"\u03bbProlog is a logic programming language that combines features of both functional and logic programming paradigms. It is mainly used for research in logic programming, theorem proving, and knowledge representation.","execution_mechanism":"interpreted","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/%CE%9BProlog","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:04:02","github_repo_count":null,"paradigms":"11","typings":null,"oses":null}]