Awesome Open Source
Awesome Open Source
Combined Topics
prolog x
Advertising 📦 10
All Projects
Application Programming Interfaces 📦 124
Applications 📦 192
Artificial Intelligence 📦 78
Blockchain 📦 73
Build Tools 📦 113
Cloud Computing 📦 80
Code Quality 📦 28
Collaboration 📦 32
Command Line Interface 📦 49
Community 📦 83
Companies 📦 60
Compilers 📦 63
Computer Science 📦 80
Configuration Management 📦 42
Content Management 📦 175
Control Flow 📦 213
Data Formats 📦 78
Data Processing 📦 276
Data Storage 📦 135
Economics 📦 64
Frameworks 📦 215
Games 📦 129
Graphics 📦 110
Hardware 📦 152
Integrated Development Environments 📦 49
Learning Resources 📦 166
Legal 📦 29
Libraries 📦 129
Lists Of Projects 📦 22
Machine Learning 📦 347
Mapping 📦 64
Marketing 📦 15
Mathematics 📦 55
Media 📦 239
Messaging 📦 98
Networking 📦 315
Operating Systems 📦 89
Operations 📦 121
Package Managers 📦 55
Programming Languages 📦 245
Runtime Environments 📦 100
Science 📦 42
Security 📦 396
Social Media 📦 27
Software Architecture 📦 72
Software Development 📦 72
Software Performance 📦 58
Software Quality 📦 133
Text Editors 📦 49
Text Processing 📦 136
User Interface 📦 330
User Interface Components 📦 514
Version Control 📦 30
Virtualization 📦 71
Web Browsers 📦 42
Web Servers 📦 26
Web User Interface 📦 210

The Top 61 Prolog Open Source Projects

Klipse ⭐ 2,504
Klipse is a Javacript plugin for embedding interactive code snippets in tech blogs. A simple client-side code evaluator pluggable on any web page: clojure, ruby, javascript, python, scheme, es2017, jsx, brainfuck, c++, reagent, lua, ocaml, reasonml, prolog, common lisp
Terminusdb ⭐ 1,110
Open source graph database and document store. It is designed for collaboratively building data-intensive applications and knowledge graphs.
The Power Of Prolog ⭐ 758
Introduction to modern Prolog
Scryer Prolog ⭐ 756
A modern Prolog implementation written mostly in Rust.
Swipl Devel ⭐ 561
Main development repository
Prolog Examples ⭐ 400
Some simple examples for new Prolog programmers
Marelle ⭐ 380
Test-driven system administration with a little extra logic.
Swish ⭐ 366
SWI-Prolog for SHaring: a SWI-Prolog web IDE
The Constitution Of Japan ⭐ 336
Awesome Prolog ⭐ 336
Curated list of Prolog packages and resources
Tau Prolog ⭐ 332
An open source Prolog interpreter in JavaScript
Stixfonts ⭐ 290
OpenType Unicode fonts for Scientific, Technical, and Mathematical texts
Pyswip ⭐ 270
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.
Kongfuofarchitect ⭐ 264
(🆕更新中！)《架构师的功夫》教程合集、文章合集包含 范式编程、、必备算法、安全攻防、汇编、、逆向、渗透测试...
Zincbase ⭐ 245
A batteries-included kit for knowledge graphs
Shen Sources ⭐ 243
The Official Shen Sources
Hakank ⭐ 228
My public programs and models - mostly combinatorial problems and puzzles
Datalog ⭐ 219
An in-memory datalog implementation for OCaml.
Logtalk3 ⭐ 210
Logtalk - declarative object-oriented logic programming language
Learn Prolog Now Exercises ⭐ 204
My solutions to the exercises and practical sessions of the book 'Learn Prolog Now!' by Patrick Blackburn, Johan Bos, and Kristina Striegnitz.
Fontpro ⭐ 193
LaTeX support for Adobe's Pro opentype fonts: Minion Pro, Myriad Pro, Cronos Pro and possibly more
Strangeloop2014 ⭐ 187
Strange Loop 2014 archives
Cosmos ⭐ 164
A new logic programming language.
Ipad3_lcd ⭐ 160
A PCB for attaching an iPad retina LCD to a DisplayPort source
Ape ⭐ 153
Parser for Attempto Controlled English (ACE)
Metagol ⭐ 151
Metagol - an inductive logic programming system
Zincbase ⭐ 139
A state of the art knowledge base
Badusb Cable ⭐ 135
BadUSB cable based on Attiny85 microcontroller.
Zamia Ai ⭐ 132
Free and open source A.I. system based on Python, TensorFlow and Prolog.
Problog ⭐ 119
ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
Xsd2json ⭐ 118
Translate XML Schema into equivalent JSON Schema
Elpi ⭐ 112
Embeddable Lambda Prolog Interpreter
Clpfd ⭐ 109
Constraint Logic Programming over Finite Domains
Musicontology ⭐ 99
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.
Eagle Tutorial Series ⭐ 98
These are the supporting materials for my series of tutorials on using the Eagle CAD software for PCB design.
Brachylog ⭐ 98
A terse declarative logic programming language
Gleemin ⭐ 78
A Magic: the Gathering™ expert system
Openpst ⭐ 76
A collection of tools for working with Qualcomm MSM devices
Prolog_library_collection ⭐ 75
A collection of Prolog libraries.
Langpro ⭐ 75
Tableau-based Theorem Prover for Natural Logic and Language
Ntp ⭐ 72
End-to-End Differentiable Proving
Ramps 1.4.2 ⭐ 58
forked from ultimachine/Ramps 1.4
Learn ⭐ 44
📚 codes written while learning them.
Eye ⭐ 40
Euler Yet another proof Engine
Swi Prolog Wasm ⭐ 32
SWI-Prolog ported to WebAssembly
Letswicrypt ⭐ 30
Prolog HTTPS Servers
Ubb Computer Science ⭐ 30
🎰 University projects and homework.
Hatlog ⭐ 23
custom type systems for python in prolog: http://alehander42.me/prolog_type_systems
Sml Bench ⭐ 21
A Benchmark for Machine Learning from Structured Data
D Prolog ⭐ 20
A Prolog implementation in D language
Prolog ⭐ 18
Exercism exercises in Prolog.
Idl Coyote ⭐ 16
Automatically exported from code.google.com/p/idl-coyote
Fhd ⭐ 13
Fast Holographic Deconvolution
Mkultra ⭐ 11
An experimental game
Thelema ⭐ 11
My MSc thesis: a grammar induction system
Bench ⭐ 10
Prolog benchmarks (`van Roy' set)
Mm ⭐ 9
PCB design for the micromouse project @ RU IEEE 2012
Dotfiles ⭐ 8
Think hard
Gedemin Prolog ⭐ 8
Automatically exported from code.google.com/p/gedemin-prolog
Wind_3dp_pros ⭐ 7
Wind spacecraft IDL software
Cc2540 ⭐ 5
TI CC 2540 BTLE Break out board
1-61 of 61 projects
Advertising 📦 10
All Projects
Application Programming Interfaces 📦 124
Applications 📦 192
Artificial Intelligence 📦 78
Blockchain 📦 73
Build Tools 📦 113
Cloud Computing 📦 80
Code Quality 📦 28
Collaboration 📦 32
Command Line Interface 📦 49
Community 📦 83
Companies 📦 60
Compilers 📦 63
Computer Science 📦 80
Configuration Management 📦 42
Content Management 📦 175
Control Flow 📦 213
Data Formats 📦 78
Data Processing 📦 276
Data Storage 📦 135
Economics 📦 64
Frameworks 📦 215
Games 📦 129
Graphics 📦 110
Hardware 📦 152
Integrated Development Environments 📦 49
Learning Resources 📦 166
Legal 📦 29
Libraries 📦 129
Lists Of Projects 📦 22
Machine Learning 📦 347
Mapping 📦 64
Marketing 📦 15
Mathematics 📦 55
Media 📦 239
Messaging 📦 98
Networking 📦 315
Operating Systems 📦 89
Operations 📦 121
Package Managers 📦 55
Programming Languages 📦 245
Runtime Environments 📦 100
Science 📦 42
Security 📦 396
Social Media 📦 27
Software Architecture 📦 72
Software Development 📦 72
Software Performance 📦 58
Software Quality 📦 133
Text Editors 📦 49
Text Processing 📦 136
User Interface 📦 330
User Interface Components 📦 514
Version Control 📦 30
Virtualization 📦 71
Web Browsers 📦 42
Web Servers 📦 26
Web User Interface 📦 210