Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Logic Programming Open Source Projects

Open source projects categorized as Logic Programming
Categories > Programming Languages > Logic Programming
Oso ⭐ 3,335
Oso is a batteries-included framework for building authorization in your application.
dependent packages 12total releases 48most recent commit 3 months agonpm oso} Downloads
Logica ⭐ 1,632
Logica is a logic programming language that compiles to SQL. It runs on Google BigQuery, PostgreSQL and SQLite.
total releases 25most recent commit 3 months ago
The Power Of Prolog ⭐ 1,130
Introduction to modern Prolog
most recent commit 5 months ago
Logicjs ⭐ 990
Logic programming for JavaScript.
most recent commit 8 years ago
Meander ⭐ 868
Tools for transparent data transformation
total releases 63most recent commit 10 months ago
Swipl Devel ⭐ 863
SWI-Prolog Main development repository
most recent commit 3 months ago
Streamly ⭐ 839
High performance, concurrent functional programming abstractions
total releases 26most recent commit 3 months ago
Souffle ⭐ 822
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.
most recent commit 4 months ago
Logpy ⭐ 736
Logic Programming in Python
dependent packages 1total releases 14most recent commit 5 years agopypi logic} Downloads
Atomspace ⭐ 734
The OpenCog (hyper-)graph database and graph rewriting system
total releases 9most recent commit 7 months ago
Precept ⭐ 639
A declarative programming framework
total releases 4most recent commit 2 years ago
Clingo ⭐ 545
🤔 A grounder and solver for logic programs.
dependent packages 28total releases 10most recent commit 5 months agopypi clingo} Downloads
Tau Prolog ⭐ 502
An open source Prolog interpreter in JavaScript
dependent packages 5total releases 16most recent commit a year agonpm tau-prolog} Downloads
Prolog ⭐ 497
The only reasonable scripting engine for Go.
dependent packages 4total releases 82most recent commit 8 months ago
Percival ⭐ 497
📝 Web-based, reactive Datalog notebooks for data analysis and visualization
most recent commit a year ago
Plam ⭐ 441
An interpreter for learning and exploring pure λ-calculus
most recent commit 3 years ago
Pyswip ⭐ 383
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.
dependent packages 9total releases 13most recent commit a year agopypi pyswip} Downloads
Logtalk3 ⭐ 378
Logtalk - declarative object-oriented logic programming language
total releases 1most recent commit 3 months ago
Crepe ⭐ 371
Datalog compiler embedded in Rust as a procedural macro
dependent packages 2total releases 9most recent commit a year agocargo crepe} Downloads
Shen Sources ⭐ 327
The Official Shen Sources
total releases 1most recent commit 3 months ago
Z3.rs ⭐ 294
Rust bindings for the Z3 solver.
dependent packages 12total releases 19most recent commit 3 months agocargo z3} Downloads
Holmes ⭐ 289
A reference library for constraint-solving with propagators and CDCL.
most recent commit a year ago
Pyneuralogic ⭐ 261
PyNeuraLogic lets you use Python to create Differentiable Logic Programs
total releases 44most recent commit 3 months ago
The 10 Most Depended On Logic Programming Open Source Projects
Clingo ⭐ 545
🤔 A grounder and solver for logic programs.
dependent packages 28total releases 10latest release November 07, 2022most recent commit 5 months agopypi clingo} Downloads
2p Kt ⭐ 77
A Kotlin Multi-Platform ecosystem for symbolic AI
dependent packages 25total releases 196latest release February 02, 2023most recent commit 4 months agonpm @tuprolog/2p-core} Downloads
Z3.rs ⭐ 294
Rust bindings for the Z3 solver.
dependent packages 12total releases 19latest release July 25, 2023most recent commit 3 months agocargo z3} Downloads
Oso ⭐ 3,335
Oso is a batteries-included framework for building authorization in your application.
dependent packages 12total releases 48latest release April 03, 2023most recent commit 3 months agonpm oso} Downloads
Tau Prolog ⭐ 502
An open source Prolog interpreter in JavaScript
dependent packages 5total releases 16latest release August 03, 2022most recent commit a year agonpm tau-prolog} Downloads
Gini ⭐ 121
A fast SAT solver
dependent packages 5total releases 23latest release January 31, 2019most recent commit 3 years ago
Kanren ⭐ 115
An extensible, lightweight relational/logic programming DSL written in pure Python
dependent packages 5total releases 9latest release January 19, 2022most recent commit a year agopypi miniKanren} Downloads
Prolog ⭐ 497
The only reasonable scripting engine for Go.
dependent packages 4total releases 82latest release August 11, 2023most recent commit 8 months ago
Gini ⭐ 125
A fast SAT solver
dependent packages 3total releases 33latest release August 26, 2021most recent commit 3 years ago
The 10 Latest Releases In Logic Programming Open Source Projects
Prology ⭐ 6
Logic Programming for Python3
latest release December 11, 2023most recent commit 8 years ago
Haskell Picosat ⭐ 13
Haskell bindings for PicoSAT solver
total releases 9latest release December 02, 2023most recent commit 4 years ago
Trealla Js ⭐ 29
Trealla Prolog for the web
dependent packages 1total releases 177latest release December 01, 2023most recent commit 3 months agonpm trealla} Downloads
Streamly ⭐ 839
High performance, concurrent functional programming abstractions
total releases 26latest release November 29, 2023most recent commit 3 months ago
Go ⭐ 71
Trealla Prolog embedded in Go using WASM
total releases 134latest release November 26, 2023most recent commit 3 months ago
Pyneuralogic ⭐ 261
PyNeuraLogic lets you use Python to create Differentiable Logic Programs
total releases 44latest release November 14, 2023most recent commit 3 months ago
Pyreason ⭐ 114
An explainable inference software supporting annotated, real valued, graph based and temporal logic
total releases 75latest release October 11, 2023most recent commit 3 months ago
Gominikanren ⭐ 32
a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.
total releases 1latest release September 09, 2023most recent commit 8 months ago
Popular Programming Languages Categories
Python
Javascript
Java
Typescript
C Plus Plus
Php
Golang
C
C Sharp
Shell
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.