Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Language Prolog Open Source Projects

Open source projects categorized as Language Prolog
Logica ⭐ 1,632
Logica is a logic programming language that compiles to SQL. It runs on Google BigQuery, PostgreSQL and SQLite.
total releases 25most recent commit 4 months ago
The Power Of Prolog ⭐ 1,130
Introduction to modern Prolog
most recent commit 5 months ago
B1fipl ⭐ 976
A Bestiary of Single-File Implementations of Programming Languages
most recent commit 4 months ago
Transpiler ⭐ 430
A universal translator for programming languages
most recent commit a year ago
Hakank ⭐ 342
My public programs and models - mostly combinatorial problems and puzzles
most recent commit 4 months ago
Elpi ⭐ 248
Embeddable Lambda Prolog Interpreter
most recent commit 4 months ago
Ciao ⭐ 214
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
most recent commit 10 months ago
Cosmos ⭐ 174
A new logic programming language.
most recent commit 9 months ago
Mulang ⭐ 125
🎍 Universal, Multi Language, Multi Paradigm code analyzer
dependent packages 9total releases 40most recent commit a year agorubygems mulang} Downloads
Ukanren Rs ⭐ 99
Rust implementation of µKanren, a featherweight relational programming language.
total releases 5most recent commit a year ago
Langpro ⭐ 97
Tableau-based Theorem Prover for Natural Logic and Language
most recent commit a year ago
Brachylog ⭐ 93
A terse declarative logic programming language
most recent commit 4 years ago
Csplib ⭐ 79
A benchmark library for constraints
most recent commit 5 months ago
Mbase ⭐ 74
Metaprogramming framework for .net
most recent commit 4 years ago
Smallpt ⭐ 63
☀️ The Rosetta smallpt (small path tracing) project
most recent commit 2 years ago
Shen Go ⭐ 51
A Go implementation of the Shen programming language
most recent commit a year ago
Logicmoo_workspace ⭐ 44
https://jenkins.logicmoo.org/job/logicmoo_workspac https://logicmoo.org/xwiki/
most recent commit 9 months ago
Solutions ⭐ 43
Solutions to various problems in various languages
most recent commit 4 years ago
Lps.js ⭐ 39
Logic Production System (LPS) programming language interpreter implemented in JavaScript for Node.js and browsers.
dependent packages 3total releases 18most recent commit 5 years agonpm lps} Downloads
Logickit ⭐ 29
A Prolog-like language as a Swift Embedded Domain Specific Language.
most recent commit 3 years ago
Picolisp ⭐ 29
most recent commit 13 years ago
Expert Systems ⭐ 26
A basic expert system, written in Prolog, that suggests what programming language one should learn first.
most recent commit 8 years ago
Adventofcode2020 ⭐ 24
Solving Advent of Code 2020, each day in a different language
most recent commit 5 months ago
The 2 Most Depended On Language Prolog Open Source Projects
Mulang ⭐ 125
:bamboo: Universal, Multi Language, Multi Paradigm code analyzer
dependent packages 9total releases 40latest release April 11, 2023most recent commit a year agorubygems mulang} Downloads
Lps.js ⭐ 39
Logic Production System (LPS) programming language interpreter implemented in JavaScript for Node.js and browsers.
dependent packages 3total releases 18latest release September 18, 2018most recent commit 5 years agonpm lps} Downloads
The 5 Latest Releases In Language Prolog Open Source Projects
Mulang ⭐ 125
:bamboo: Universal, Multi Language, Multi Paradigm code analyzer
dependent packages 9total releases 40latest release April 11, 2023most recent commit a year agorubygems mulang} Downloads
Ukanren Rs ⭐ 99
Rust implementation of µKanren, a featherweight relational programming language.
total releases 5latest release September 15, 2021most recent commit a year ago
Lps.js ⭐ 39
Logic Production System (LPS) programming language interpreter implemented in JavaScript for Node.js and browsers.
dependent packages 3total releases 18latest release September 18, 2018most recent commit 5 years agonpm lps} Downloads
Logickit ⭐ 29
A Prolog-like language as a Swift Embedded Domain Specific Language.
latest release December 18, 2017most recent commit 3 years ago
Popular Programming Languages Categories
Python
Javascript
Java
Typescript
C Plus Plus
Php
Golang
C
C Sharp
Shell
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.