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 62 Prolog Open Source Projects

Klipse ⭐ 2,560
Klipse is a JavaScript plugin for embedding interactive code snippets in tech blogs.
Terminusdb ⭐ 1,279
Open source graph database and document store. Designed for collaboratively building data-intensive applications and knowledge graphs.
Scryer Prolog ⭐ 813
A modern Prolog implementation written mostly in Rust.
The Power Of Prolog ⭐ 784
Introduction to modern Prolog
Swipl Devel ⭐ 576
Main development repository
Prolog Examples ⭐ 415
Some simple examples for new Prolog programmers
Marelle ⭐ 380
Test-driven system administration with a little extra logic.
Swish ⭐ 379
SWI-Prolog for SHaring: a SWI-Prolog web IDE
Tau Prolog ⭐ 352
An open source Prolog interpreter in JavaScript
The Constitution Of Japan ⭐ 349
Awesome Prolog ⭐ 348
Curated list of Prolog packages and resources
Weed ⭐ 313
Heavily Xchat inspired beautiful irssi theme.
Pyswip ⭐ 278
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 ⭐ 273
(🆕更新中！)《架构师的功夫》教程合集、文章合集包含 范式编程、微服务、必备算法、安全攻防、汇编、爬虫、逆向、渗透测试...
Shen Sources ⭐ 251
The Official Shen Sources
Zincbase ⭐ 249
A batteries-included kit for knowledge graphs
Hakank ⭐ 240
My public programs and models - mostly combinatorial problems and puzzles
Logtalk3 ⭐ 228
Logtalk - declarative object-oriented logic programming language
Datalog ⭐ 217
An in-memory datalog implementation for OCaml.
Learn Prolog Now Exercises ⭐ 208
My solutions to the exercises and practical sessions of the book 'Learn Prolog Now!' by Patrick Blackburn, Johan Bos, and Kristina Striegnitz.
Fontpro ⭐ 196
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 ⭐ 162
A PCB for attaching an iPad retina LCD to a DisplayPort source
Ape ⭐ 157
Parser for Attempto Controlled English (ACE)
Metagol ⭐ 155
Metagol - an inductive logic programming system
Badusb Cable ⭐ 148
BadUSB cable based on Attiny85 microcontroller.
Zincbase ⭐ 144
A state of the art knowledge base
Zamia Ai ⭐ 135
Free and open source A.I. system based on Python, TensorFlow and Prolog.
Elpi ⭐ 127
Embeddable Lambda Prolog Interpreter
Problog ⭐ 127
ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
Xsd2json ⭐ 124
Translate XML Schema into equivalent JSON Schema
Clpfd ⭐ 122
Constraint Logic Programming over Finite Domains
Musicontology ⭐ 101
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 ⭐ 100
A terse declarative logic programming language
Eagle Tutorial Series ⭐ 99
These are the supporting materials for my series of tutorials on using the Eagle CAD software for PCB design.
Openpst ⭐ 83
A collection of tools for working with Qualcomm MSM devices
Langpro ⭐ 78
Tableau-based Theorem Prover for Natural Logic and Language
Gleemin ⭐ 77
A Magic: the Gathering™ expert system
Prolog_library_collection ⭐ 76
A collection of Prolog libraries.
Ntp ⭐ 74
End-to-End Differentiable Proving
Swiplwebtut ⭐ 63
A tutorial for the swipl web framework
Ramps 1.4.2 ⭐ 61
forked from ultimachine/Ramps 1.4
Eye ⭐ 47
Euler Yet another proof Engine
Learn ⭐ 44
📚 codes written while learning them.
Swi Prolog Wasm ⭐ 32
SWI-Prolog ported to WebAssembly
Letswicrypt ⭐ 31
Prolog HTTPS Servers
Ubb Computer Science ⭐ 31
🎰 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 ⭐ 21
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 ⭐ 12
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-62 of 62 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