Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
pypi.org "logic-programming" keyword
Top 5.4% on pypi.org
15 versions - Latest release: about 1 year ago - 6 dependent packages - 177 dependent repositories - 189 thousand downloads last month - 37 stars on GitHub - 1 maintainer
logical-unification 0.4.6 π°
Logical unification in Python15 versions - Latest release: about 1 year ago - 6 dependent packages - 177 dependent repositories - 189 thousand downloads last month - 37 stars on GitHub - 1 maintainer
Top 2.5% on pypi.org
8 versions - Latest release: 3 months ago - 37 dependent packages - 111 dependent repositories - 23.4 thousand downloads last month - 586 stars on GitHub - 1 maintainer
clingo 5.7.1
CFFI-based bindings to the clingo solver.8 versions - Latest release: 3 months ago - 37 dependent packages - 111 dependent repositories - 23.4 thousand downloads last month - 586 stars on GitHub - 1 maintainer
Top 3.5% on pypi.org
13 versions - Latest release: almost 4 years ago - 4 dependent packages - 71 dependent repositories - 2.71 thousand downloads last month - 435 stars on GitHub - 1 maintainer
pyswip 0.2.10
PySwip enables querying SWI-Prolog in your Python programs.13 versions - Latest release: almost 4 years ago - 4 dependent packages - 71 dependent repositories - 2.71 thousand downloads last month - 435 stars on GitHub - 1 maintainer
Top 4.3% on pypi.org
9 versions - Latest release: over 2 years ago - 3 dependent packages - 25 dependent repositories - 204 thousand downloads last month - 157 stars on GitHub - 1 maintainer
minikanren 1.0.3 π°
Relational programming in Python9 versions - Latest release: over 2 years ago - 3 dependent packages - 25 dependent repositories - 204 thousand downloads last month - 157 stars on GitHub - 1 maintainer
functional-swipl-interface 1.0.1
A wrapper built on top of the official SWI-Prolog Python interface to iteract with prolog through...2 versions - Latest release: 5 months ago - 17 downloads last month - 0 stars on GitHub - 1 maintainer
neuralogic 0.7.16
PyNeuraLogic lets you use Python to create Differentiable Logic Programs.50 versions - Latest release: 3 days ago - 1 dependent repositories - 827 downloads last month - 269 stars on GitHub - 1 maintainer
repraxis 1.3.1
An in-memory logic database solution for games, based on Versu's Praxis language.1 version - Latest release: about 2 months ago - 35 downloads last month - 1 stars on GitHub - 1 maintainer
pyreason 2.2.1
An explainable inference software supporting annotated, real valued, graph based and temporal logic81 versions - Latest release: about 2 months ago - 1 dependent repositories - 896 downloads last month - 159 stars on GitHub - 1 maintainer
logtalk-jupyter-kernel 0.12.0
Hercutalk - A Jupyter Kernel for Logtalk17 versions - Latest release: about 2 months ago - 1 dependent repositories - 157 downloads last month - 7 stars on GitHub - 1 maintainer
zamia-prolog 0.1.0
Embeddable Prolog dialect implemented in pure Python. Stores its knowlegdebase using SQLAlchemy f...1 version - Latest release: over 6 years ago - 1 dependent repositories - 13 downloads last month - 19 stars on GitHub - 1 maintainer
xclingo 2.0b18
Tool for explaining and debugging Answer Set Programs.13 versions - Latest release: 6 months ago - 1 dependent repositories - 197 downloads last month - 10 stars on GitHub - 1 maintainer
Top 5.8% on pypi.org
3 versions - Latest release: about 8 years ago - 1 dependent package - 24 dependent repositories - 3.44 thousand downloads last month - 71 stars on GitHub - 1 maintainer
unification 0.2.2
Unification3 versions - Latest release: about 8 years ago - 1 dependent package - 24 dependent repositories - 3.44 thousand downloads last month - 71 stars on GitHub - 1 maintainer
Top 4.8% on pypi.org
34 versions - Latest release: about 1 year ago - 6 dependent repositories - 10.6 thousand downloads last month - 3,405 stars on GitHub - 2 maintainers
sqlalchemy-oso 0.27.0
oso sqlalchemy integration34 versions - Latest release: about 1 year ago - 6 dependent repositories - 10.6 thousand downloads last month - 3,405 stars on GitHub - 2 maintainers
pytholog 2.4.1
Logic Programming in Python11 versions - Latest release: over 3 years ago - 1 dependent repositories - 779 downloads last month - 101 stars on GitHub - 1 maintainer
pynorm 0.1.12
A probabilistic logic programming library for data science13 versions - Latest release: over 4 years ago - 1 dependent repositories - 112 downloads last month - 9 stars on GitHub - 1 maintainer
Top 2.2% on pypi.org
60 versions - Latest release: 4 months ago - 4 dependent packages - 19 dependent repositories - 31.5 thousand downloads last month - 3,405 stars on GitHub - 2 maintainers
oso 0.27.3
oso is an open source policy engine for authorization that's embedded in your application60 versions - Latest release: 4 months ago - 4 dependent packages - 19 dependent repositories - 31.5 thousand downloads last month - 3,405 stars on GitHub - 2 maintainers
mdpproblog 0.3.0
A probabilistic logic programming framework to represent and solve MDPs.3 versions - Latest release: about 7 years ago - 1 dependent repositories - 14 downloads last month - 7 stars on GitHub - 1 maintainer
ltn 2.1
Logic Tensor Networks2 versions - Latest release: about 1 year ago - 2 dependent repositories - 164 downloads last month - 247 stars on GitHub - 1 maintainer
Top 9.6% on pypi.org
26 versions - Latest release: 2 months ago - 1 dependent repositories - 617 downloads last month - 1,683 stars on GitHub - 1 maintainer
logica 1.3.14159265
Logica language.26 versions - Latest release: 2 months ago - 1 dependent repositories - 617 downloads last month - 1,683 stars on GitHub - 1 maintainer
linkml-datalog 0.2.0
Datalog inference over LinkML schemas and data2 versions - Latest release: over 2 years ago - 1 dependent repositories - 30 downloads last month - 11 stars on GitHub - 3 maintainers
iclingo 0.1.7
π΄π’π΅ clingo kernel for Jupyter8 versions - Latest release: about 2 years ago - 1 dependent repositories - 66 downloads last month - 6 stars on GitHub - 1 maintainer
Top 6.9% on pypi.org
24 versions - Latest release: about 1 year ago - 4 dependent repositories - 7.56 thousand downloads last month - 3,405 stars on GitHub - 1 maintainer
flask-oso 0.27.0
oso flask integration24 versions - Latest release: about 1 year ago - 4 dependent repositories - 7.56 thousand downloads last month - 3,405 stars on GitHub - 1 maintainer
fiddler 0.11.1
oso is an open source policy engine for authorization thatβs embedded in your application11 versions - Latest release: about 1 month ago - 1 dependent repositories - 466 downloads last month - 3,405 stars on GitHub - 2 maintainers
calchylus 0.1.25
Calchylus - Lambda Calculus with Hy26 versions - Latest release: about 5 years ago - 1 dependent repositories - 89 downloads last month - 3 stars on GitHub - 1 maintainer
pasp-plp 0.0.4
Probabilistic Answer Set Programming15 versions - Latest release: 11 months ago - 48 downloads last month - 15 stars on GitHub - 1 maintainer
hydiomatic 0.2.0
The Hy Transformer3 versions - Latest release: about 5 years ago - 2 dependent repositories - 25 downloads last month - 79 stars on GitHub - 2 maintainers
Top 5.0% on pypi.org
28 versions - Latest release: about 1 year ago - 5 dependent repositories - 5.94 thousand downloads last month - 3,405 stars on GitHub - 1 maintainer
django-oso 0.27.0
oso django integration28 versions - Latest release: about 1 year ago - 5 dependent repositories - 5.94 thousand downloads last month - 3,405 stars on GitHub - 1 maintainer
sqlalchemy-oso-preview 0.8.0
oso sqlalchemy integration6 versions - Latest release: almost 3 years ago - 1 dependent repositories - 31 downloads last month - 3,402 stars on GitHub - 2 maintainers
Related Keywords
python
16
authorization
6
authorization-framework
6
go
6
java
6
nodejs
6
policy-engine
6
rbac
6
rbac-authorization
6
rbac-roles
6
ruby
6
rust
6
security
6
access-control
6
abac
6
prolog
5
answer-set-programming
4
machine-learning
3
probabilistic-programming
2
datalog
2
logic
2
logic programming
2
hy
2
minikanren
2
deep-learning
2
swi-prolog
2
unification
2
dispatch
2
ai
2
symbolic-computation
2
static-code-analysis
1
trino
1
sqlite
1
sql
1
prolog-implementation
1
presto
1
postgresql
1
logica
1
language
1
bigquery
1
machinelearning
1
tensorflow
1
fuzzy-logic
1
neural-symbolic-computing
1
framework
1
multiple-dispatch
1
markov-decision-processes
1
probabilistic logic programming
1
problog
1
probabilistic-logic-programming
1
inference
1
credal
1
lisp
1
lambda-calculus
1
functional-programming
1
hylang
1
ipykernel
1
clingo
1
jupyter
1
kernel
1
validation
1
souffle-datalog-language
1
semantics
1
semantic-web
1
rules
1
rule-language
1
reasoning
1
rdf
1
constraints
1
reasoing
1
linkml
1
mdp
1
answer set programming
1
prolog-dialect
1
embeddable
1
declarative-language
1
jupyter-notebook
1
logtalk
1
temporal-logic
1
neurosymbolic
1
social-simulation
1
in-memory-database
1
games
1
exclusion logic
1
versu
1
praxis
1
swipl
1
database
1
relational-learning
1
pytorch
1
graph-neural-networks
1
geometric-deep-learning
1
differentiable-programming
1
planning
1
ml
1
machine-reasoning
1
deep-neural-networks
1
symbolic-artificial-intelligence
1
prolog-syntax
1
neuro-symbolic-learning
1