pypi.org "logic-programming" keyword
repraxis 1.3.1
An in-memory logic database solution for games, based on Versu's Praxis language.1 version - Latest release: almost 2 years ago - 9 downloads last month - 3 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: about 2 years ago - 23 downloads last month - 0 stars on GitHub - 1 maintainer
Top 2.5% on pypi.org
9 versions - Latest release: 11 months ago - 37 dependent packages - 111 dependent repositories - 78.9 thousand downloads last month - 703 stars on GitHub - 1 maintainer
clingo 5.8.0
CFFI-based bindings to the clingo solver.9 versions - Latest release: 11 months ago - 37 dependent packages - 111 dependent repositories - 78.9 thousand downloads last month - 703 stars on GitHub - 1 maintainer
Top 9.4% on pypi.org
2 versions - Latest release: about 1 month ago - 38 downloads last month - 1 maintainer
pyke-mcp 0.1.1
MCP server for Pyke logic programming engine2 versions - Latest release: about 1 month ago - 38 downloads last month - 1 maintainer
Top 3.5% on pypi.org
17 versions - Latest release: 9 months ago - 4 dependent packages - 71 dependent repositories - 13.9 thousand downloads last month - 521 stars on GitHub - 1 maintainer
pyswip 0.3.3
PySwip enables querying SWI-Prolog in your Python programs.17 versions - Latest release: 9 months ago - 4 dependent packages - 71 dependent repositories - 13.9 thousand downloads last month - 521 stars on GitHub - 1 maintainer
iclingo 0.1.7
🔴🟢🔵 clingo kernel for Jupyter8 versions - Latest release: about 4 years ago - 1 dependent repositories - 25 downloads last month - 6 stars on GitHub - 1 maintainer
calchylus 0.1.25
Calchylus - Lambda Calculus with Hy26 versions - Latest release: about 7 years ago - 1 dependent repositories - 285 downloads last month - 3 stars on GitHub - 1 maintainer
ltn 2.1
Logic Tensor Networks2 versions - Latest release: almost 3 years ago - 2 dependent repositories - 251 downloads last month - 312 stars on GitHub - 1 maintainer
linkml-datalog 0.2.0
Datalog inference over LinkML schemas and data2 versions - Latest release: about 4 years ago - 1 dependent repositories - 26 downloads last month - 13 stars on GitHub - 3 maintainers
pyreason 3.3.0
An explainable inference software supporting annotated, real valued, graph based and temporal logic90 versions - Latest release: 25 days ago - 1 dependent repositories - 1.02 thousand downloads last month - 263 stars on GitHub - 1 maintainer
neuralogic 0.8.0
PyNeuraLogic lets you use Python to create Differentiable Logic Programs.67 versions - Latest release: over 1 year ago - 1 dependent repositories - 979 downloads last month - 294 stars on GitHub - 1 maintainer
mdpproblog 0.3.0
A probabilistic logic programming framework to represent and solve MDPs.3 versions - Latest release: almost 9 years ago - 1 dependent repositories - 7 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 8 years ago - 1 dependent repositories - 8 downloads last month - 20 stars on GitHub - 1 maintainer
iamai 5.0.5 💰
Comprehensive AI Toolkit for Multimodal Learning and Cross-Platform Robotics.37 versions - Latest release: about 3 years ago - 11 dependent packages - 1 dependent repositories - 342 downloads last month - 26 stars on GitHub - 1 maintainer
django-datalog 0.3.1
Django Datalog - Logic programming and inference engine for Django applications4 versions - Latest release: 8 months ago - 59 downloads last month - 2 stars on GitHub - 1 maintainer
hydiomatic 0.2.0
The Hy Transformer3 versions - Latest release: almost 7 years ago - 2 dependent repositories - 16 downloads last month - 84 stars on GitHub - 2 maintainers
Top 4.3% on pypi.org
11 versions - Latest release: 9 months ago - 3 dependent packages - 25 dependent repositories - 632 thousand downloads last month - 227 stars on GitHub - 1 maintainer
minikanren 1.0.5 💰
Relational programming in Python11 versions - Latest release: 9 months ago - 3 dependent packages - 25 dependent repositories - 632 thousand downloads last month - 227 stars on GitHub - 1 maintainer
pasp-plp 0.0.5
Probabilistic Answer Set Programming17 versions - Latest release: over 1 year ago - 175 downloads last month - 25 stars on GitHub - 1 maintainer
pynorm 0.1.12
A probabilistic logic programming library for data science13 versions - Latest release: over 6 years ago - 1 dependent repositories - 37 downloads last month - 9 stars on GitHub - 1 maintainer
Top 9.6% on pypi.org
31 versions - Latest release: 6 months ago - 1 dependent repositories - 652 downloads last month - 2,010 stars on GitHub - 1 maintainer
logica 1.3.1415926535897
Logica language.31 versions - Latest release: 6 months ago - 1 dependent repositories - 652 downloads last month - 2,010 stars on GitHub - 1 maintainer
pytholog 2.4.1
Logic Programming in Python11 versions - Latest release: over 5 years ago - 1 dependent repositories - 565 downloads last month - 126 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: about 1 year ago - 63 downloads last month - 4 stars on GitHub - 2 maintainers
iamai-adapter-onebot11 3.3.2 💰
OneBot(V11) adapter for iamai.11 versions - Latest release: about 2 years ago - 2 dependent packages - 22 downloads last month - 27 stars on GitHub - 1 maintainer
xclingo 2.0b19
Tool for explaining and debugging Answer Set Programs.14 versions - Latest release: over 1 year ago - 1 dependent repositories - 260 downloads last month - 15 stars on GitHub - 1 maintainer
Top 5.4% on pypi.org
16 versions - Latest release: 5 months ago - 6 dependent packages - 177 dependent repositories - 600 thousand downloads last month - 52 stars on GitHub - 1 maintainer
logical-unification 0.4.7 💰
Logical unification in Python16 versions - Latest release: 5 months ago - 6 dependent packages - 177 dependent repositories - 600 thousand downloads last month - 52 stars on GitHub - 1 maintainer
logtalk-jupyter-kernel 0.46.0
Hercutalk - A Jupyter Kernel for Logtalk51 versions - Latest release: 7 months ago - 1 dependent repositories - 250 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: over 1 year ago - 36 downloads last month - 5 stars on GitHub - 1 maintainer
Related Keywords
python
13
machine-learning
6
logic
5
prolog
5
artificial-intelligence
5
ai
4
rules
4
answer-set-programming
4
ml
3
deep-learning
3
datalog
3
artificial intelligence
2
symbolic-computation
2
bot
2
probabilistic-programming
2
hy
2
neuro-symbolic-learning
2
rete
2
whl
2
swi-prolog
2
flow
2
flowchart
2
gpt
2
logic programming
2
inference-engine
2
rasa
2
minikanren
2
backtracking
1
trino
1
sqlite
1
sql
1
prolog-implementation
1
prolog-syntax
1
presto
1
postgresql
1
logica
1
language
1
bigquery
1
machine-reasoning
1
deep-neural-networks
1
probabilistic-logic-programming
1
neurosymbolic-ai
1
credal-sets
1
django
1
relational-programming
1
constraint-logic-programming
1
clp
1
facts
1
query
1
static-code-analysis
1
symbolic-artificial-intelligence
1
noise-tolerance
1
rule-learning
1
submodular-optimization
1
vision-transformer
1
chatbot
1
cqhttp
1
ontbot
1
qq
1
answer set programming
1
debugging-tool
1
explainability
1
unification
1
dispatch
1
multiple-dispatch
1
logtalk
1
jupyter-notebook
1
aima
1
artificial-intelligence-algorithms
1
data analysis
1
data mining
1
data science
1
error correction
1
error detection
1
machine learning
1
metacognition
1
neurosymbolic AI
1
rule learning
1
computer-vision
1
data-science
1
dino-v2
1
error-detection-correction
1
hierarchical-classification
1
meta
1
military-vehicles
1
multi-label-classification
1
neuro-symbolic-ai
1
database
1
jupyter
1
clingo
1
ipykernel
1
hylang
1
functional-programming
1
lambda-calculus
1
lisp
1
framework
1
neural-symbolic-computing
1
fuzzy-logic
1
tensorflow
1
machinelearning
1