pypi.org "logic-programming" keyword
View the packages on the pypi.org package registry that are tagged with the "logic-programming" keyword.
xclingo 2.0b19
Tool for explaining and debugging Answer Set Programs.14 versions - Latest release: 12 months ago - 1 dependent repositories - 104 downloads last month - 13 stars on GitHub - 1 maintainer
python-logic 0.0.1
A package to run logic inferences on python1 version - Latest release: about 1 year ago - 28 downloads last month - 5 stars on GitHub - 1 maintainer
Top 4.3% on pypi.org
11 versions - Latest release: 3 months ago - 3 dependent packages - 25 dependent repositories - 459 thousand downloads last month - 217 stars on GitHub - 1 maintainer
minikanren 1.0.5 💰
Relational programming in Python11 versions - Latest release: 3 months ago - 3 dependent packages - 25 dependent repositories - 459 thousand downloads last month - 217 stars on GitHub - 1 maintainer
ltn 2.1
Logic Tensor Networks2 versions - Latest release: over 2 years ago - 2 dependent repositories - 385 downloads last month - 312 stars on GitHub - 1 maintainer
Top 2.5% on pypi.org
9 versions - Latest release: 5 months ago - 37 dependent packages - 111 dependent repositories - 56.3 thousand downloads last month - 696 stars on GitHub - 1 maintainer
clingo 5.8.0
CFFI-based bindings to the clingo solver.9 versions - Latest release: 5 months ago - 37 dependent packages - 111 dependent repositories - 56.3 thousand downloads last month - 696 stars on GitHub - 1 maintainer
mdpproblog 0.3.0
A probabilistic logic programming framework to represent and solve MDPs.3 versions - Latest release: over 8 years ago - 1 dependent repositories - 16 downloads last month - 7 stars on GitHub - 1 maintainer
iamai 5.0.5 💰
Comprehensive AI Toolkit for Multimodal Learning and Cross-Platform Robotics.36 versions - Latest release: over 2 years ago - 11 dependent packages - 1 dependent repositories - 196 downloads last month - 26 stars on GitHub - 1 maintainer
iamai-adapter-onebot11 3.3.2 💰
OneBot(V11) adapter for iamai.11 versions - Latest release: over 1 year ago - 2 dependent packages - 21 downloads last month - 26 stars on GitHub - 1 maintainer
pasp-plp 0.0.5
Probabilistic Answer Set Programming17 versions - Latest release: about 1 year ago - 19 downloads last month - 25 stars on GitHub - 1 maintainer
logtalk-jupyter-kernel 0.46.0
Hercutalk - A Jupyter Kernel for Logtalk51 versions - Latest release: 23 days ago - 1 dependent repositories - 677 downloads last month - 13 stars on GitHub - 1 maintainer
Top 3.5% on pypi.org
17 versions - Latest release: 3 months ago - 4 dependent packages - 71 dependent repositories - 8.67 thousand downloads last month - 516 stars on GitHub - 1 maintainer
pyswip 0.3.3
PySwip enables querying SWI-Prolog in your Python programs.17 versions - Latest release: 3 months ago - 4 dependent packages - 71 dependent repositories - 8.67 thousand downloads last month - 516 stars on GitHub - 1 maintainer
pynorm 0.1.12
A probabilistic logic programming library for data science13 versions - Latest release: almost 6 years ago - 1 dependent repositories - 31 downloads last month - 9 stars on GitHub - 1 maintainer
Top 5.4% on pypi.org
15 versions - Latest release: over 2 years ago - 6 dependent packages - 177 dependent repositories - 367 thousand downloads last month - 49 stars on GitHub - 1 maintainer
logical-unification 0.4.6 💰
Logical unification in Python15 versions - Latest release: over 2 years ago - 6 dependent packages - 177 dependent repositories - 367 thousand downloads last month - 49 stars on GitHub - 1 maintainer
pyreason 3.1.0
An explainable inference software supporting annotated, real valued, graph based and temporal logic88 versions - Latest release: 14 days ago - 1 dependent repositories - 324 downloads last month - 263 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: over 1 year ago - 10 downloads last month - 3 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: 7 months ago - 48 downloads last month - 4 stars on GitHub - 2 maintainers
Top 5.8% on pypi.org
3 versions - Latest release: over 9 years ago - 1 dependent package - 24 dependent repositories - 10.4 thousand downloads last month - 71 stars on GitHub - 1 maintainer
unification 0.2.2
Unification3 versions - Latest release: over 9 years ago - 1 dependent package - 24 dependent repositories - 10.4 thousand downloads last month - 71 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: almost 8 years ago - 1 dependent repositories - 3 downloads last month - 20 stars on GitHub - 1 maintainer
django-datalog 0.3.1
Django Datalog - Logic programming and inference engine for Django applications4 versions - Latest release: about 2 months ago - 88 downloads last month - 2 stars on GitHub - 1 maintainer
Top 9.6% on pypi.org
29 versions - Latest release: 11 months ago - 1 dependent repositories - 164 downloads last month - 2,010 stars on GitHub - 1 maintainer
logica 1.3.14159265358
Logica language.29 versions - Latest release: 11 months ago - 1 dependent repositories - 164 downloads last month - 2,010 stars on GitHub - 1 maintainer
linkml-datalog 0.2.0
Datalog inference over LinkML schemas and data2 versions - Latest release: over 3 years ago - 1 dependent repositories - 102 downloads last month - 13 stars on GitHub - 3 maintainers
iclingo 0.1.7
🔴🟢🔵 clingo kernel for Jupyter8 versions - Latest release: over 3 years ago - 1 dependent repositories - 33 downloads last month - 6 stars on GitHub - 1 maintainer
hydiomatic 0.2.0
The Hy Transformer3 versions - Latest release: over 6 years ago - 2 dependent repositories - 25 downloads last month - 84 stars on GitHub - 2 maintainers
calchylus 0.1.25
Calchylus - Lambda Calculus with Hy26 versions - Latest release: over 6 years ago - 1 dependent repositories - 29 downloads last month - 3 stars on GitHub - 1 maintainer
pytholog 2.4.1
Logic Programming in Python11 versions - Latest release: almost 5 years ago - 1 dependent repositories - 482 downloads last month - 126 stars on GitHub - 1 maintainer
neuralogic 0.8.0
PyNeuraLogic lets you use Python to create Differentiable Logic Programs.56 versions - Latest release: 11 months ago - 1 dependent repositories - 105 downloads last month - 294 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 - 18 downloads last month - 0 stars on GitHub - 1 maintainer
Related Keywords
python
13
machine-learning
6
artificial-intelligence
5
logic
5
prolog
5
answer-set-programming
4
ai
4
rules
4
deep-learning
3
ml
3
datalog
3
rasa
2
gpt
2
flowchart
2
flow
2
bot
2
probabilistic-programming
2
rete
2
whl
2
artificial intelligence
2
swi-prolog
2
unification
2
dispatch
2
neuro-symbolic-learning
2
hy
2
logic programming
2
symbolic-computation
2
minikanren
2
swipl
1
relational-learning
1
declarative-language
1
embeddable
1
pytorch
1
graph-neural-networks
1
prolog-dialect
1
geometric-deep-learning
1
django
1
facts
1
inference-engine
1
differentiable-programming
1
query
1
clingo
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
jupyter
1
kernel
1
ipykernel
1
validation
1
souffle-datalog-language
1
semantics
1
semantic-web
1
rule-language
1
reasoning
1
rdf
1
constraints
1
reasoing
1
linkml
1
trino
1
static-code-analysis
1
hylang
1
functional-programming
1
lambda-calculus
1
lisp
1
backtracking
1
prolog-syntax
1
sqlite
1
sql
1
prolog-implementation
1
presto
1
postgresql
1
logica
1
language
1
bigquery
1
symbolic-artificial-intelligence
1
chatbot
1
pyo3
1
rust
1
bilibili-live
1
bilibili
1
apscheduler
1
console
1
dingtalk
1
gensokyo
1
onebot11
1
kook
1
red
1