Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
The Top 10 Logic Programming Open Source Projects
Open source projects categorized as Logic Programming
Categories
>
Programming Languages
>
Logic Programming
Edit Category
osohq/oso
⭐
3,335
Oso is a batteries-included framework for building authorization in your application.
dependent packages
0
total releases
0
most recent commit
about 2 years ago
EvgSkv/logica
⭐
1,632
Logica is a logic programming language that compiles to SQL. It runs on Google BigQuery, PostgreSQL and SQLite.
dependent packages
0
total releases
0
most recent commit
about 2 years ago
triska/the-power-of-prolog
⭐
1,130
Introduction to modern Prolog
dependent packages
0
total releases
0
most recent commit
over 2 years ago
souffle-lang/souffle
⭐
1,044
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
dependent packages
0
total releases
0
most recent commit
4 months ago
mcsoto/LogicJS
⭐
990
Logic programming for JavaScript.
dependent packages
0
total releases
0
most recent commit
over 9 years ago
noprompt/meander
⭐
868
Tools for transparent data transformation
dependent packages
0
total releases
0
most recent commit
almost 3 years ago
SWI-Prolog/swipl-devel
⭐
863
SWI-Prolog Main development repository
dependent packages
0
total releases
0
most recent commit
about 2 years ago
composewell/streamly
⭐
839
High performance, concurrent functional programming abstractions
dependent packages
0
total releases
0
most recent commit
about 2 years ago
logpy/logpy
⭐
736
Logic Programming in Python
dependent packages
0
total releases
0
most recent commit
over 6 years ago
opencog/atomspace
⭐
734
The OpenCog (hyper-)graph database and graph rewriting system
dependent packages
0
total releases
0
most recent commit
over 2 years ago
Get A Weekly Email With Trending Logic Programming Projects
No Spam. Unsubscribe easily at any time.
Logic Programming
Subscribe
Javascript must be enabled to subscribe.
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2026 Awesome Open Source. All rights reserved.
