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
Categories
>
Programming Languages
>
Prolog
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