Awesome Open Source
Awesome Open Source
Combined Topics
prolog x

The Top 2,223 Prolog Open Source Projects

Paip Lisp ⭐ 5,968
Lisp code for the textbook "Paradigms of Artificial Intelligence Programming"
most recent commit 6 days ago
99 Problems ⭐ 3,232
This is an adaptation of the Ninety-Nine Prolog Problems written by Werner Hett.
most recent commit 2 years ago
Klipse ⭐ 2,870
Klipse is a JavaScript plugin for embedding interactive code snippets in tech blogs.
total releases 56most recent commit 4 months ago
Terminusdb ⭐ 1,802
TerminusDB is a distributed database with a collaboration model
most recent commit 8 hours ago
Scryer Prolog ⭐ 1,431
A modern Prolog implementation written mostly in Rust.
dependent packages 1total releases 123most recent commit 3 days agocargo scryer-prolog} Downloads
Logica ⭐ 1,402
Logica is a logic programming language that compiles to StandardSQL and runs on Google BigQuery.
total releases 21most recent commit 3 months ago
Chalk ⭐ 1,354
An implementation and definition of the Rust trait system using a PROLOG-like logic solver
dependent packages 5total releases 73most recent commit a month agocargo chalk-derive} Downloads
The Power Of Prolog ⭐ 992
Introduction to modern Prolog
most recent commit 16 days ago
B1fipl ⭐ 897
A Bestiary of Single-File Implementations of Programming Languages
most recent commit 2 months ago
Swipl Devel ⭐ 649
Main development repository
most recent commit 15 hours ago
Tau Prolog ⭐ 439
An open source Prolog interpreter in JavaScript
dependent packages 3total releases 14most recent commit 8 days agonpm tau-prolog} Downloads
Swish ⭐ 413
SWI-Prolog for SHaring: a SWI-Prolog web IDE
most recent commit a month ago
Marelle ⭐ 380
Test-driven system administration with a little extra logic.
most recent commit 4 years ago
Awesome Prolog ⭐ 371
Curated list of Prolog packages and resources
most recent commit 8 months ago
Naga ⭐ 365
Datalog based rules engine
total releases 50most recent commit 2 months ago
Prolog ⭐ 361
The only reasonable scripting engine for Go.
dependent packages 1total releases 64most recent commit 4 days ago
Prolog Examples ⭐ 349
Some simple examples for new Prolog programmers
most recent commit 2 years ago
Stabilizer ⭐ 348
Stabilizer: Rigorous Performance Evaluation
most recent commit 8 months ago
Golog ⭐ 347
Prolog interpreter in Go
dependent packages 2most recent commit 3 years ago
Pyswip ⭐ 347
PySwip is a Python - SWI-Prolog bridge enabling to query SWI-Prolog in your Python programs. It features an (incomplete) SWI-Prolog foreign language interface, a utility class that makes it easy querying with Prolog and also a Pythonic interface.
dependent packages 5total releases 13most recent commit a month agopypi pyswip} Downloads
Kongfuofarchitect ⭐ 334
(🆕更新中！)《架构师的功夫》教程合集、文章合集包含 范式编程、微服务、必备算法、安全攻防、汇编、爬虫、逆向、渗透测试...
most recent commit 7 days ago
Transpiler ⭐ 327
A universal translator for programming languages
most recent commit 10 months ago
Weed ⭐ 326
Heavily Xchat inspired beautiful irssi theme.
most recent commit 4 months ago
Logtalk3 ⭐ 295
Logtalk - declarative object-oriented logic programming language
most recent commit a day ago
Hakank ⭐ 288
My public programs and models - mostly combinatorial problems and puzzles
most recent commit 19 days ago
Shen Sources ⭐ 282
The Official Shen Sources
most recent commit 2 months ago
Paip Python ⭐ 276
Peter Norvig's Paradigms of AI Programming implemented in Python
most recent commit a year ago
Erlog ⭐ 272
Prolog interpreter in and for Erlang
most recent commit 3 years ago
Zincbase ⭐ 226
A batteries-included kit for knowledge graphs
total releases 27most recent commit 2 years ago
Datalog ⭐ 224
An in-memory datalog implementation for OCaml.
most recent commit 9 months ago
Python Prolog Interpreter ⭐ 214
A simple Prolog Interpreter written in a few lines of Python 3. It runs a limited subset of Prolog and uses backtracking and generators in order to perform its magic.
most recent commit 3 months ago
Elpi ⭐ 190
Embeddable Lambda Prolog Interpreter
most recent commit a month ago
Ruby Prolog ⭐ 188
A pure Ruby gem implemention of a Prolog-like DSL for AI and logical programming.
total releases 5most recent commit 2 months ago
Fontpro ⭐ 187
LaTeX support for Adobe's Pro opentype fonts: Minion Pro, Myriad Pro, Cronos Pro and possibly more
most recent commit 5 years ago
Dumbpad ⭐ 186
Simple 4x4 numpad with rotary encoder. Powered by QMK via ATmega32u4 Pro Micro
most recent commit 10 days ago
Awesome Koans ⭐ 184
A curated list of program language koans.
most recent commit 4 years ago
Problog ⭐ 174
ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
most recent commit 5 months ago
Swi Web Prolog ⭐ 168
A proof-of-concept SWI-Prolog implementation of Web Prolog
most recent commit a year ago
Metagol ⭐ 165
Metagol - an inductive logic programming system
most recent commit 8 months ago
Cosmos ⭐ 164
A new logic programming language.
most recent commit a year ago
Swipl ⭐ 164
SWI-Prolog stable releases
most recent commit 15 hours ago
Ape ⭐ 146
Parser for Attempto Controlled English (ACE)
most recent commit 3 years ago
Zamia Ai ⭐ 135
Free and open source A.I. system based on Python, TensorFlow and Prolog.
most recent commit a year ago
Prologtutorials ⭐ 135
Prolog Tutorials and Information
most recent commit 3 years ago
Xsd2json ⭐ 134
Translate XML Schema into equivalent JSON Schema
dependent packages 6total releases 72most recent commit a month agonpm xsd2json} Downloads
Julog.jl ⭐ 133
A Julia package for Prolog-style logic programming.
most recent commit 25 days ago
Zincbase ⭐ 124
A state of the art knowledge base
total releases 37most recent commit 2 years ago
Ciao ⭐ 120
Ciao is a general purpose, multi-paradigm programming language in the Prolog family
most recent commit 2 months ago
Jiprolog ⭐ 117
JIProlog is a Prolog interpreter, pure Java 100%, cross-platform and Open Source.
most recent commit 9 months ago
Lisprolog ⭐ 114
Interpreter for a simple Lisp. Written in Prolog.
most recent commit a year ago
Logically ⭐ 106
explorations in core.logic
most recent commit 2 months ago
Vivace Graph V3 ⭐ 105
VivaceGraph version 3. Open source Common Lisp graph database & Prolog implementation. Supersedes http://github.com/kraison/vivace-graph-v2.
most recent commit a year ago
Clpz ⭐ 104
Constraint Logic Programming over Integers
most recent commit a year ago
Clpfd ⭐ 102
Constraint Logic Programming over Finite Domains
most recent commit 2 years ago
Eagle Tutorial Series ⭐ 97
These are the supporting materials for my series of tutorials on using the Eagle CAD software for PCB design.
most recent commit 9 years ago
Musicontology ⭐ 96
The Music Ontology Specification provides main concepts and properties fo describing music (i.e. artists, albums, tracks, but also performances, arrangements, etc.) on the Semantic Web.
most recent commit 9 years ago
Brachylog ⭐ 93
A terse declarative logic programming language
most recent commit 2 years ago
Bh_onofre ⭐ 92
O projeto BH OnOfre, é uma solução IoT baseada em ESP8266 com o objetivo de tornar a automação domiciliar muito mais simples, de forma aberta e sem restrições. Todo o código fonte é aberto bem como Hardware.
most recent commit a year ago
Badusb Cable ⭐ 90
BadUSB cable based on Attiny85 microcontroller.
most recent commit 2 years ago
Ukanren Rs ⭐ 87
Rust implementation of µKanren, a featherweight relational programming language.
most recent commit 8 months ago
Prolog.vim ⭐ 86
Prolog Integration for Vim
most recent commit 7 years ago
Hardware ⭐ 85
OBD-II CAN adapter for Particle Electron, Photon, and RedBear Duo
most recent commit 3 years ago
Knowrob ⭐ 84
KnowRob is a knowledge base for robots. It equips robots with the capability to organize information in re-usable knowledge chunks, and to perform reasoning in an expressive logic formalism. It further provides a set of tools for visualization and acquisition of knowledge.
most recent commit 4 months ago
Biomake ⭐ 83
GNU-Make-like utility for managing builds and complex workflows
most recent commit 4 months ago
Thea ⭐ 82
OWL2 library for Prolog
most recent commit 3 years ago
Twitchcoq ⭐ 82
It's a poorly named metamath verifier
most recent commit 2 years ago
Wam_common_lisp ⭐ 82
Allow Lisp programs to stop implementing an ad-hoc, informally-specified, bug-ridden, slow implementation of less than half of ISO-Prolog.
most recent commit 8 months ago
Amziprolog ⭐ 81
Amzi! Prolog: complete system to interpret, build, run and debug Prolog programs, but also embed and query them similar to databases.
most recent commit 6 months ago
Langpro ⭐ 78
Tableau-based Theorem Prover for Natural Logic and Language
most recent commit a year ago
Prolog_library_collection ⭐ 77
A collection of Prolog libraries.
most recent commit a year ago
Teyjus ⭐ 76
An efficient implementation of the higher-order logic programming language Lambda Prolog
most recent commit 3 years ago
Mbase ⭐ 74
Metaprogramming framework for .net
most recent commit 2 years ago
Gleemin ⭐ 74
A Magic: the Gathering™ expert system
most recent commit 10 years ago
Prolog.js ⭐ 71
prolog interpreter in javascript
most recent commit 5 years ago
Postgresql Prolog ⭐ 70
A Prolog library to connect to PostgreSQL databases
most recent commit 2 months ago
Rust Prolog ⭐ 70
Rust implementation of prolog based on miniprolog: http://andrej.com/plzoo/html/miniprolog.html
most recent commit 2 years ago
Niz Plum 84ec S Pro Ble Non Rgb Manual ⭐ 69
Translated English Manual for Niz Plum 84EC(S) Pro-Ble Non RGB manual keyboard
most recent commit a year ago
Sublimeprolog ⭐ 69
This a Prolog syntax highlighting for Sublime Text 2 & 3
most recent commit 3 years ago
Code Canon ⭐ 69
A catalog of code worth reading
most recent commit 5 years ago
Parzu ⭐ 67
The Zurich Dependency Parser for German
most recent commit a month ago
Openpst ⭐ 67
A collection of tools for working with Qualcomm MSM devices
most recent commit 5 years ago
Csplib ⭐ 67
A benchmark library for constraints
most recent commit a month ago
Pylo2 ⭐ 67
Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.
most recent commit a year ago
Webdriver Logic ⭐ 66
Logic programming API for testing web applications using clj-webdriver
most recent commit 9 years ago
Prolog Viz ⭐ 65
The best Prolog visualizer
most recent commit 5 years ago
Smallpt ⭐ 63
☀️ The Rosetta smallpt (small path tracing) project
most recent commit 4 months ago
Mycroft ⭐ 61
A prolog-like language with compound truth value logic
most recent commit 4 years ago
Acewiki ⭐ 60
AceWiki is a semantic wiki based on controlled natural language.
most recent commit 4 years ago
Ntp ⭐ 60
End-to-End Differentiable Proving
most recent commit 3 years ago
Prolog_notes ⭐ 59
Some notes taken while working on Prolog
most recent commit 8 months ago
Hierarchy Builder ⭐ 59
High level commands to declare a hierarchy based on packed classes
most recent commit 2 months ago
Bedrock ⭐ 57
Bedrock is TM1 Best Practice assets built from years of TM1 experience
most recent commit 8 hours ago
Rtec ⭐ 57
RTEC is an Event Calculus implementation optimised for stream reasoning
most recent commit 3 months ago
Logict ⭐ 56
A continuation-based backtracking logic programming monad
most recent commit 11 days ago
Ramps 1.4.2 ⭐ 56
forked from ultimachine/Ramps 1.4
most recent commit 8 years ago
Avalog ⭐ 56
An experimental implementation of Avatar Logic with a Prolog-like syntax
most recent commit 2 months ago
Vsc Prolog ⭐ 55
A VS Code extension that provides language support for prolog
most recent commit 3 years ago
Cplint ⭐ 53
cplint is a suite of programs for reasoning with probabilistic logic programs
most recent commit 2 months ago
Lpn ⭐ 53
Learn Prolog Now LaTeX sources
most recent commit 3 years ago
Got Check ⭐ 52
⚔️ Game of Thrones character database and family trees in Prolog
most recent commit 3 years ago
1-100 of 2,223 projects
Related Awesome Lists
Python Prolog Projects (139)
Language Prolog Projects (127)
Prolog Logic Programming Projects (125)
Programming Prolog Projects (110)
C Prolog Projects (103)
Javascript Prolog Projects (82)
Lisp Prolog Projects (66)
Haskell Prolog Projects (66)
C Plus Plus Prolog Projects (56)
Compiler Prolog Projects (43)
Programming Language Prolog Projects (38)
Artificial Intelligence Prolog Projects (37)
Puzzle Prolog Projects (33)
Html Prolog Projects (32)
Clojure Prolog Projects (32)
Common Lisp Prolog Projects (32)
Ocaml Prolog Projects (30)
Pcb Prolog Projects (24)
Shell Prolog Projects (22)
Perl Prolog Projects (22)
Categories
Advertising 📦 8
All Projects
Application Programming Interfaces 📦 107
Applications 📦 174
Artificial Intelligence 📦 69
Blockchain 📦 66
Build Tools 📦 105
Cloud Computing 📦 68
Code Quality 📦 24
Collaboration 📦 27
Command Line Interface 📦 38
Community 📦 79
Companies 📦 60
Compilers 📦 59
Computer Science 📦 73
Configuration Management 📦 37
Content Management 📦 153
Control Flow 📦 187
Data Formats 📦 72
Data Processing 📦 249
Data Storage 📦 116
Economics 📦 56
Frameworks 📦 178
Games 📦 110
Graphics 📦 92
Hardware 📦 137
Integrated Development Environments 📦 43
Learning Resources 📦 139
Legal 📦 24
Libraries 📦 117
Lists Of Projects 📦 19
Machine Learning 📦 313
Mapping 📦 57
Marketing 📦 15
Mathematics 📦 54
Media 📦 214
Messaging 📦 96
Networking 📦 292
Operating Systems 📦 72
Operations 📦 114
Package Managers 📦 50
Programming Languages 📦 173
Runtime Environments 📦 90
Science 📦 42
Security 📦 342
Social Media 📦 23
Software Architecture 📦 65
Software Development 📦 60
Software Performance 📦 53
Software Quality 📦 116
Text Editors 📦 40
Text Processing 📦 118
User Interface 📦 291
User Interface Components 📦 440
Version Control 📦 26
Virtualization 📦 63
Web Browsers 📦 35
Web Servers 📦 23
Web User Interface 📦 167
Top Programming Languages
Javascript  (1,046,513)
Python  (794,038)
Java  (384,745)
Php  (284,342)
Typescript  (238,372)
C Plus Plus  (235,678)
Ruby  (221,647)
C  (180,021)
Shell  (169,271)
C Sharp  (161,668)
Golang  (155,705)
Swift  (64,594)
Objective C  (57,180)
R  (57,097)
Rust  (55,814)
Dart  (51,233)
Kotlin  (45,308)
Lua  (33,168)
Matlab  (30,832)
Perl  (30,482)
Language  (30,083)
Scala  (28,582)
Haskell  (20,223)
Clojure  (19,065)
Powershell  (18,770)
Bash  (18,586)
Coffeescript  (17,335)
Elixir  (16,549)
Assembly  (14,508)
Processing  (13,295)
Julia  (12,509)
Basic  (10,772)
Flow  (10,528)
Emacs Lisp  (10,358)
Erlang  (9,057)
Scheme  (8,442)
Groovy  (8,426)
Solidity  (7,543)
Ocaml  (6,660)
Pascal  (6,371)
Hack  (6,365)
Lisp  (6,345)
Fortran  (5,475)
Elm  (5,468)
Common Lisp  (5,285)
Dlang  (4,742)
Shell Script  (4,626)
Python Library  (4,446)
Crystal  (4,373)
Scripting  (4,199)
Top Projects
Freecodecamp ⭐ 346,085
996.icu ⭐ 262,270
Free Programming Books ⭐ 233,047
Coding Interview University ⭐ 219,725
Awesome ⭐ 201,499
Vue ⭐ 195,787
Developer Roadmap ⭐ 194,812
Public Apis ⭐ 192,026
React ⭐ 188,079
System Design Primer ⭐ 180,726
Tensorflow ⭐ 164,981
Bootstrap ⭐ 157,299
You Dont Know Js ⭐ 152,909
Cs Notes ⭐ 150,780
Ohmyzsh ⭐ 145,101
Build Your Own X ⭐ 141,447
Flutter ⭐ 140,685
Javascript Algorithms ⭐ 140,055
Python ⭐ 136,032
Gitignore ⭐ 133,164
Linux ⭐ 131,866
Vscode ⭐ 131,762
Awesome Python ⭐ 126,837
Javascript ⭐ 122,717
Javaguide ⭐ 121,487
Python 100 Days ⭐ 117,585
Computer Science ⭐ 112,893
Youtube Dl ⭐ 110,029
Fucking Algorithm ⭐ 106,048
The Art Of Command Line ⭐ 105,874
React Native ⭐ 102,754
Electron ⭐ 101,722
D3 ⭐ 100,901
Go ⭐ 99,254
30 Seconds Of Code ⭐ 95,528
Create React App ⭐ 95,021
Axios ⭐ 93,400
Awesome Selfhosted ⭐ 88,479
Kubernetes ⭐ 88,475
Free Programming Books Zh_cn ⭐ 88,386
Node ⭐ 87,657
Next.js ⭐ 86,824
Terminal ⭐ 83,149
Deno ⭐ 82,461
Three.js ⭐ 82,021
Angular ⭐ 81,395
Awesome Go ⭐ 80,742
Typescript ⭐ 80,677
Ant Design ⭐ 80,313
Material Ui ⭐ 78,463
Privacy | About | Terms | Follow Us On Twitter

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

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