Awesome Open Source
Awesome Open Source
Combined Topics
prolog x
Advertising 📦 9
All Projects
Application Programming Interfaces 📦 120
Applications 📦 181
Artificial Intelligence 📦 72
Blockchain 📦 70
Build Tools 📦 111
Cloud Computing 📦 79
Code Quality 📦 28
Collaboration 📦 30
Command Line Interface 📦 48
Community 📦 81
Companies 📦 60
Compilers 📦 60
Computer Science 📦 74
Configuration Management 📦 39
Content Management 📦 167
Control Flow 📦 197
Data Formats 📦 77
Data Processing 📦 266
Data Storage 📦 132
Economics 📦 60
Frameworks 📦 198
Games 📦 122
Graphics 📦 103
Hardware 📦 148
Integrated Development Environments 📦 47
Learning Resources 📦 147
Legal 📦 28
Libraries 📦 119
Lists Of Projects 📦 21
Machine Learning 📦 336
Mapping 📦 61
Marketing 📦 15
Mathematics 📦 55
Media 📦 228
Messaging 📦 97
Networking 📦 304
Operating Systems 📦 84
Operations 📦 120
Package Managers 📦 52
Programming Languages 📦 229
Runtime Environments 📦 96
Science 📦 42
Security 📦 375
Social Media 📦 26
Software Architecture 📦 70
Software Development 📦 68
Software Performance 📦 57
Software Quality 📦 127
Text Editors 📦 45
Text Processing 📦 131
User Interface 📦 310
User Interface Components 📦 465
Version Control 📦 29
Virtualization 📦 68
Web Browsers 📦 38
Web Servers 📦 25
Web User Interface 📦 194

The Top 2,627 Prolog Open Source Projects on Github

Klipse ⭐ 2,777
Klipse is a JavaScript plugin for embedding interactive code snippets in tech blogs.
Terminusdb ⭐ 1,503
TerminusDB is an open source knowledge graph and document store. Use it to build versioned data products.
Logica ⭐ 1,235
Logica is a logic programming language that compiles to StandardSQL and runs on Google BigQuery.
Scryer Prolog ⭐ 924
A modern Prolog implementation written mostly in Rust.
The Power Of Prolog ⭐ 823
Introduction to modern Prolog
Swipl Devel ⭐ 606
Main development repository
Swish ⭐ 388
SWI-Prolog for SHaring: a SWI-Prolog web IDE
Marelle ⭐ 380
Test-driven system administration with a little extra logic.
Awesome Prolog ⭐ 371
Curated list of Prolog packages and resources
Tau Prolog ⭐ 356
An open source Prolog interpreter in JavaScript
Prolog Examples ⭐ 349
Some simple examples for new Prolog programmers
Weed ⭐ 312
Heavily Xchat inspired beautiful irssi theme.
Kongfuofarchitect ⭐ 291
(🆕更新中！)《架构师的功夫》教程合集、文章合集包含 范式编程、微服务、必备算法、安全攻防、汇编、爬虫、逆向、渗透测试...
Pyswip ⭐ 291
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.
Hakank ⭐ 260
My public programs and models - mostly combinatorial problems and puzzles
Logtalk3 ⭐ 257
Logtalk - declarative object-oriented logic programming language
Shen Sources ⭐ 251
The Official Shen Sources
Zincbase ⭐ 226
A batteries-included kit for knowledge graphs
Datalog ⭐ 224
An in-memory datalog implementation for OCaml.
Fontpro ⭐ 187
LaTeX support for Adobe's Pro opentype fonts: Minion Pro, Myriad Pro, Cronos Pro and possibly more
Learn Prolog Now Exercises ⭐ 176
My solutions to the exercises and practical sessions of the book 'Learn Prolog Now!' by Patrick Blackburn, Johan Bos, and Kristina Striegnitz.
Metagol ⭐ 165
Metagol - an inductive logic programming system
Cosmos ⭐ 164
A new logic programming language.
The Constitution Of Japan ⭐ 162
Problog ⭐ 152
ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
Ipad3_lcd ⭐ 148
A PCB for attaching an iPad retina LCD to a DisplayPort source
Ape ⭐ 146
Parser for Attempto Controlled English (ACE)
Elpi ⭐ 144
Embeddable Lambda Prolog Interpreter
Zamia Ai ⭐ 135
Free and open source A.I. system based on Python, TensorFlow and Prolog.
Xsd2json ⭐ 126
Translate XML Schema into equivalent JSON Schema
Zincbase ⭐ 124
A state of the art knowledge base
Lisprolog ⭐ 114
Interpreter for a simple Lisp. Written in Prolog.
Dumbpad ⭐ 114
Simple 4x4 numpad with rotary encoder. Powered by QMK via ATmega32u4 Pro Micro
Clpz ⭐ 104
Constraint Logic Programming over Integers
Clpfd ⭐ 102
Constraint Logic Programming over Finite Domains
Julog.jl ⭐ 98
A Julia package for Prolog-style logic programming.
Eagle Tutorial Series ⭐ 97
These are the supporting materials for my series of tutorials on using the Eagle CAD software for PCB design.
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.
Brachylog ⭐ 93
A terse declarative logic programming language
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.
Badusb Cable ⭐ 90
BadUSB cable based on Attiny85 microcontroller.
Logically ⭐ 89
explorations in core.logic
Ukanren Rs ⭐ 87
Rust implementation of µKanren, a featherweight relational programming language.
Hardware ⭐ 85
OBD-II CAN adapter for Particle Electron, Photon, and RedBear Duo
Thea ⭐ 82
OWL2 library for Prolog
Twitchcoq ⭐ 82
It's a poorly named metamath verifier
Wam_common_lisp ⭐ 81
Allow Lisp programs to stop implementing an ad-hoc, informally-specified, bug-ridden, slow implementation of less than half of ISO-Prolog.
Ciao ⭐ 79
Ciao is a general purpose, multi-paradigm programming language in the Prolog family
Langpro ⭐ 78
Tableau-based Theorem Prover for Natural Logic and Language
Prolog_library_collection ⭐ 77
A collection of Prolog libraries.
Amziprolog ⭐ 77
Amzi! Prolog: complete system to interpret, build, run and debug Prolog programs, but also embed and query them similar to databases.
Biomake ⭐ 76
GNU-Make-like utility for managing builds and complex workflows
Knowrob ⭐ 74
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.
Gleemin ⭐ 74
A Magic: the Gathering™ expert system
Niz Plum 84ec S Pro Ble Non Rgb Manual ⭐ 69
Translated English Manual for Niz Plum 84EC(S) Pro-Ble Non RGB manual keyboard
Pylo2 ⭐ 67
Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.
Openpst ⭐ 67
A collection of tools for working with Qualcomm MSM devices
Swiplwebtut ⭐ 63
A tutorial for the swipl web framework
Csplib ⭐ 63
A benchmark library for constraints
Ntp ⭐ 60
End-to-End Differentiable Proving
Prolog_notes ⭐ 59
Some notes taken while working on Prolog
Eye ⭐ 57
Euler Yet another proof Engine
7 Languages In 7 Weeks ⭐ 57
My personal repo for 7LI7W exercises
Ramps 1.4.2 ⭐ 56
forked from ultimachine/Ramps 1.4
Boards ⭐ 53
Various PCB designs in KiCad
Rtec ⭐ 52
RTEC is an Event Calculus implementation optimised for stream reasoning
Got Check ⭐ 52
⚔️ Game of Thrones character database and family trees in Prolog
Hierarchy Builder ⭐ 52
High level commands to declare a hierarchy based on packed classes
Utilities ⭐ 51
Uncategorized utilities
Otm 02 ⭐ 49
Open source Time Machine #2
Cliopatria ⭐ 48
ClioPatria provides an RDF application platform
Cplint ⭐ 48
cplint is a suite of programs for reasoning with probabilistic logic programs
Lod Laundromat ⭐ 46
Cleaning other people's dirty data.
Louise ⭐ 44
Polynomial-time Meta-Interpretive Learning
Bedrock ⭐ 44
Bedrock is TM1 Best Practice assets built from years of TM1 experience
Mulang ⭐ 44
🎍 Universal, Multi Language, Multi Paradigm code analyzer
Dotfiles ⭐ 44
Some items in /home/kiedtl/etc
Prolongo ⭐ 43
MongoDB Driver for Prolog
Learn ⭐ 43
📚 codes written while learning them.
Hopes ⭐ 40
Higher Order Prolog with Extensional Semantics
Esplay_micro_hardware ⭐ 40
Micro version of esplay hardware, ESP32 based gaming console
Swipl Wasm ⭐ 40
Run SWI-Prolog in your browser using WebAssemply
Lps.js ⭐ 39
Logic Production System (LPS) programming language interpreter implemented in JavaScript for Node.js and browsers.
Wamcompiler ⭐ 38
Prolog implementation based on Warren's abstract machine
Lit Eagle ⭐ 37
holds all eagle files - projects and libraries
Eldarica ⭐ 36
The Eldarica model checker
Lsp_server ⭐ 35
Language Server Protocol server for SWI-Prolog
2p Kt ⭐ 34
A Kotlin Multi-Platform ecosystem for symbolic AI
Mlab ⭐ 34
“云上炼丹师”中的云
Prolog ⭐ 33
Example Problems and Assignments for Prolog
Pytholog ⭐ 33
Python library that enables using prolog syntax and logic programming in python
Prolog For Dummies ⭐ 32
Weblog ⭐ 32
Web Framework for SWI-Prolog
Swi Prolog Wasm ⭐ 32
SWI-Prolog ported to WebAssembly
Spectector ⭐ 32
Automatic detection of speculative information flows
Embedded_hardware ⭐ 31
Eagle files, gerbers, BOMs, etc
Irssi Powerline ⭐ 31
Powerline theme for IRSSI
Microkanren Prolog ⭐ 31
Prolog implementation of microKanren
Prologcheatsheet ⭐ 30
Basics of relational programming with Prolog —PROgramming in LOGic ^_^
Chaves ⭐ 29
Cheap Hacky Audio/Video - Glitch VGA synth based on jonasbers.com/chav/
1-100 of 2,627 projects

Related Projects

Prolog Logic Programming Projects (85)
Python Prolog Projects (61)
Java Prolog Projects (47)
Haskell Prolog Projects (40)
Artificial Intelligence Prolog Projects (36)
Javascript Prolog Projects (35)
C Prolog Projects (34)
Functional Programming Prolog Projects (24)
Prolog Logic Projects (18)
C Plus Plus Prolog Projects (18)
Prolog Expert System Projects (17)
Programming Language Prolog Projects (17)
Prolog Lisp Projects (17)
Html Prolog Projects (14)
Prolog Interpreter Projects (14)
Rust Prolog Projects (13)
Common Lisp Prolog Projects (12)
Language Prolog Projects (12)
Prolog Logtalk Projects (12)
Haskell Prolog Logic Programming Projects (12)
Prolog Constraint Programming Projects (10)
Prolog Declarative Programming Projects (10)
Prolog Knowledge Base Projects (10)
Ocaml Prolog Projects (10)
Prolog Clp Projects (10)
Javascript Java Prolog Projects (10)
Python Artificial Intelligence Prolog Projects (9)
Nlp Prolog Projects (9)
Logic Programming Swi Prolog Projects (8)
Prolog Constraints Projects (8)
Prolog List Projects (8)
Natural Language Processing Prolog Projects (8)
Prolog Datalog Projects (8)
Clojure Prolog Projects (8)
Compiler Prolog Projects (8)
Database Prolog Projects (7)
Prolog Knowledge Graph Projects (7)
Python Prolog Logic Programming Projects (7)
Artificial Intelligence Prolog Expert System Projects (7)
Language Prolog Logic Programming Projects (7)
Game Prolog Projects (7)
Scala Prolog Projects (7)
Logic Programming Prolog Implementation Projects (6)
Neural Network Prolog Projects (6)
Machine Learning Prolog Projects (6)
Perl Prolog Projects (5)
Prolog Logic Programming Datalog Projects (5)
Prolog Constraint Programming Clp Projects (5)
Prolog First Order Logic Projects (5)
Prolog Object Oriented Programming Projects (5)
Prolog Swi Projects (5)
Prolog Virtual Machine Projects (5)
Prolog Workflow Projects (5)
Dotfiles Prolog Projects (5)
Python Swi Prolog Projects (4)
Prolog Linked Data Projects (4)
Jupyter Notebook Prolog Projects (4)
Javascript Prolog Logic Programming Projects (4)
Prolog Family Tree Projects (4)
Shell Prolog Projects (4)
Prolog Irc Projects (4)
Python Prolog Knowledge Base Projects (4)
Prolog Inductive Logic Programming Projects (4)
Language Prolog Interpreter Projects (4)
Prolog Probabilistic Programming Projects (4)
Prolog Probabilistic Logic Programming Projects (4)
Tensorflow Prolog Projects (4)
Prolog Constraints Clp Projects (4)
Artificial Intelligence Prolog Logic Programming Projects (4)
Functional Programming Prolog Logic Projects (3)
Prolog Logic Programming Declarative Projects (2)
Advertising 📦 9
All Projects
Application Programming Interfaces 📦 120
Applications 📦 181
Artificial Intelligence 📦 72
Blockchain 📦 70
Build Tools 📦 111
Cloud Computing 📦 79
Code Quality 📦 28
Collaboration 📦 30
Command Line Interface 📦 48
Community 📦 81
Companies 📦 60
Compilers 📦 60
Computer Science 📦 74
Configuration Management 📦 39
Content Management 📦 167
Control Flow 📦 197
Data Formats 📦 77
Data Processing 📦 266
Data Storage 📦 132
Economics 📦 60
Frameworks 📦 198
Games 📦 122
Graphics 📦 103
Hardware 📦 148
Integrated Development Environments 📦 47
Learning Resources 📦 147
Legal 📦 28
Libraries 📦 119
Lists Of Projects 📦 21
Machine Learning 📦 336
Mapping 📦 61
Marketing 📦 15
Mathematics 📦 55
Media 📦 228
Messaging 📦 97
Networking 📦 304
Operating Systems 📦 84
Operations 📦 120
Package Managers 📦 52
Programming Languages 📦 229
Runtime Environments 📦 96
Science 📦 42
Security 📦 375
Social Media 📦 26
Software Architecture 📦 70
Software Development 📦 68
Software Performance 📦 57
Software Quality 📦 127
Text Editors 📦 45
Text Processing 📦 131
User Interface 📦 310
User Interface Components 📦 465
Version Control 📦 29
Virtualization 📦 68
Web Browsers 📦 38
Web Servers 📦 25
Web User Interface 📦 194
"GitHub" is a registered trademark of GitHub, Inc. Awesome Open Source is not affiliated with GitHub.

All non readme contents or Github based topics or project metadata copyright Awesome Open Source 2018-2021