pypi.org "logic-programming" keyword
View the packages on the pypi.org package registry that are tagged with the "logic-programming" keyword.
ltn 2.1
Logic Tensor Networks2 versions - Latest release: about 2 years ago - 2 dependent repositories - 386 downloads last month - 251 stars on GitHub - 1 maintainer
Top 5.8% on pypi.org
3 versions - Latest release: about 9 years ago - 1 dependent package - 24 dependent repositories - 4.9 thousand downloads last month - 71 stars on GitHub - 1 maintainer
unification 0.2.2
Unification3 versions - Latest release: about 9 years ago - 1 dependent package - 24 dependent repositories - 4.9 thousand downloads last month - 71 stars on GitHub - 1 maintainer
iclingo 0.1.7
🔴🟢🔵 clingo kernel for Jupyter8 versions - Latest release: about 3 years ago - 1 dependent repositories - 317 downloads last month - 6 stars on GitHub - 1 maintainer
python-logic 0.0.1
A package to run logic inferences on python1 version - Latest release: 10 months ago - 64 downloads last month - 5 stars on GitHub - 1 maintainer
hydiomatic 0.2.0
The Hy Transformer3 versions - Latest release: almost 6 years ago - 2 dependent repositories - 120 downloads last month - 81 stars on GitHub - 2 maintainers
logtalk-jupyter-kernel 0.30.0
Hercutalk - A Jupyter Kernel for Logtalk35 versions - Latest release: 5 days ago - 1 dependent repositories - 1.25 thousand downloads last month - 13 stars on GitHub - 1 maintainer
Top 4.3% on pypi.org
9 versions - Latest release: about 3 years ago - 3 dependent packages - 25 dependent repositories - 318 thousand downloads last month - 200 stars on GitHub - 1 maintainer
minikanren 1.0.3 💰
Relational programming in Python9 versions - Latest release: about 3 years ago - 3 dependent packages - 25 dependent repositories - 318 thousand downloads last month - 200 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 7 years ago - 1 dependent repositories - 27 downloads last month - 20 stars on GitHub - 1 maintainer
linkml-datalog 0.2.0
Datalog inference over LinkML schemas and data2 versions - Latest release: about 3 years ago - 1 dependent repositories - 106 downloads last month - 11 stars on GitHub - 3 maintainers
Top 3.5% on pypi.org
16 versions - Latest release: 6 months ago - 4 dependent packages - 71 dependent repositories - 8.44 thousand downloads last month - 506 stars on GitHub - 1 maintainer
pyswip 0.3.2
PySwip enables querying SWI-Prolog in your Python programs.16 versions - Latest release: 6 months ago - 4 dependent packages - 71 dependent repositories - 8.44 thousand downloads last month - 506 stars on GitHub - 1 maintainer
Top 9.6% on pypi.org
29 versions - Latest release: 6 months ago - 1 dependent repositories - 961 downloads last month - 1,958 stars on GitHub - 1 maintainer
logica 1.3.14159265358
Logica language.29 versions - Latest release: 6 months ago - 1 dependent repositories - 961 downloads last month - 1,958 stars on GitHub - 1 maintainer
Top 5.4% on pypi.org
15 versions - Latest release: almost 2 years ago - 6 dependent packages - 177 dependent repositories - 308 thousand downloads last month - 48 stars on GitHub - 1 maintainer
logical-unification 0.4.6 💰
Logical unification in Python15 versions - Latest release: almost 2 years ago - 6 dependent packages - 177 dependent repositories - 308 thousand downloads last month - 48 stars on GitHub - 1 maintainer
neuralogic 0.8.0
PyNeuraLogic lets you use Python to create Differentiable Logic Programs.55 versions - Latest release: 6 months ago - 1 dependent repositories - 1.09 thousand downloads last month - 289 stars on GitHub - 1 maintainer
calchylus 0.1.25
Calchylus - Lambda Calculus with Hy26 versions - Latest release: about 6 years ago - 1 dependent repositories - 610 downloads last month - 3 stars on GitHub - 1 maintainer
mdpproblog 0.3.0
A probabilistic logic programming framework to represent and solve MDPs.3 versions - Latest release: about 8 years ago - 1 dependent repositories - 90 downloads last month - 7 stars on GitHub - 1 maintainer
pytholog 2.4.1
Logic Programming in Python11 versions - Latest release: over 4 years ago - 1 dependent repositories - 2.65 thousand downloads last month - 121 stars on GitHub - 1 maintainer
Top 2.5% on pypi.org
9 versions - Latest release: 17 days ago - 37 dependent packages - 111 dependent repositories - 20.9 thousand downloads last month - 643 stars on GitHub - 1 maintainer
clingo 5.8.0
CFFI-based bindings to the clingo solver.9 versions - Latest release: 17 days ago - 37 dependent packages - 111 dependent repositories - 20.9 thousand downloads last month - 643 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 1 year ago - 46 downloads last month - 3 stars on GitHub - 1 maintainer
xclingo 2.0b19
Tool for explaining and debugging Answer Set Programs.14 versions - Latest release: 7 months ago - 1 dependent repositories - 384 downloads last month - 13 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: over 1 year ago - 93 downloads last month - 0 stars on GitHub - 1 maintainer
pyreason 3.0.4
An explainable inference software supporting annotated, real valued, graph based and temporal logic87 versions - Latest release: 29 days ago - 1 dependent repositories - 1.19 thousand downloads last month - 206 stars on GitHub - 1 maintainer
pyedcr 1.1.3
PyEDCR is a metacognitive neuro-symbolic method for learning error detection and correction rules...36 versions - Latest release: 2 months ago - 736 downloads last month - 4 stars on GitHub - 2 maintainers
pynorm 0.1.12
A probabilistic logic programming library for data science13 versions - Latest release: over 5 years ago - 1 dependent repositories - 346 downloads last month - 9 stars on GitHub - 1 maintainer
pasp-plp 0.0.5
Probabilistic Answer Set Programming17 versions - Latest release: 9 months ago - 370 downloads last month - 18 stars on GitHub - 1 maintainer
Related Keywords
python
11
prolog
5
machine-learning
4
answer-set-programming
4
logic
3
artificial-intelligence
3
deep-learning
3
dispatch
2
probabilistic-programming
2
unification
2
logic programming
2
neuro-symbolic-learning
2
artificial intelligence
2
datalog
2
ai
2
swi-prolog
2
hy
2
minikanren
2
symbolic-computation
2
exclusion logic
1
games
1
neurosymbolic
1
in-memory-database
1
social-simulation
1
swipl
1
explainability
1
answer set programming
1
debugging-tool
1
versu
1
praxis
1
database
1
declarative-programming
1
symbolic-artificial-intelligence
1
prolog-syntax
1
backtracking
1
markov-decision-processes
1
probabilistic logic programming
1
problog
1
mdp
1
planning
1
lisp
1
probabilistic-logic-programming
1
neurosymbolic-ai
1
credal-sets
1
ml
1
machine-reasoning
1
deep-neural-networks
1
vision-transformer
1
submodular-optimization
1
rule-learning
1
noise-tolerance
1
neuro-symbolic-ai
1
multi-label-classification
1
military-vehicles
1
meta
1
hierarchical-classification
1
error-detection-correction
1
dino-v2
1
data-science
1
computer-vision
1
rule learning
1
neurosymbolic AI
1
metacognition
1
machine learning
1
error detection
1
error correction
1
data science
1
data mining
1
data analysis
1
temporal-logic
1
rules
1
rule-language
1
reasoning
1
rdf
1
constraints
1
reasoing
1
linkml
1
prolog-dialect
1
embeddable
1
declarative-language
1
relational-programming
1
constraint-logic-programming
1
clp
1
jupyter-notebook
1
logtalk
1
static-code-analysis
1
artificial-intelligence-algorithms
1
aima
1
ipykernel
1
clingo
1
jupyter
1
kernel
1
machinelearning
1
tensorflow
1
fuzzy-logic
1
neural-symbolic-computing
1
framework
1
lambda-calculus
1
functional-programming
1
hylang
1