pypi.org "logic-programming" keyword
pyagentprolog-ide 0.1.0
Web IDE for PyAgentProlog1 version - Latest release: about 2 hours ago - 1 maintainer
pyagentprolog-hf 1.0.2
Hugging Face integration for PyAgentProlog: PreTrainedModel, Pipeline, Hub upload.1 version - Latest release: about 11 hours ago - 1 maintainer
pyagentprolog 1.0.1
A Prolog engine in Python with agents, tracing, and semantic unification.1 version - Latest release: about 11 hours ago - 1 maintainer
elenctic 1.0.0
Contracts and queries for answer set programs: a library first, a command line second1 version - Latest release: 4 days ago - 2 stars on GitHub - 1 maintainer
synalog 2.4.1
Logic programming for AI agents: Datalog-family language compiling to optimized SQL9 versions - Latest release: 11 days ago - 35 downloads last month - 15 stars on GitHub - 1 maintainer
clingo-funasp 6.0.0.post16
Python bindings to the clingo solver.4 versions - Latest release: 4 months ago - 118 downloads last month - 858 stars on GitHub - 1 maintainer
Top 2.5% on pypi.org
12 versions - Latest release: 7 days ago - 37 dependent packages - 111 dependent repositories - 128 thousand downloads last month - 858 stars on GitHub - 1 maintainer
clingo 5.8.3
CFFI-based bindings to the clingo solver.12 versions - Latest release: 7 days ago - 37 dependent packages - 111 dependent repositories - 128 thousand downloads last month - 858 stars on GitHub - 1 maintainer
xclingo 2.0b24
Tool for explaining Answer Set Programs.17 versions - Latest release: 6 months ago - 1 dependent repositories - 338 downloads last month - 17 stars on GitHub - 1 maintainer
pyxlog 0.11.0 π°
GPU-accelerated XLOG probabilistic logic programming (PyO3 bindings)4 versions - Latest release: 3 months ago - 104 downloads last month - 6 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 9 years ago - 1 dependent repositories - 15 downloads last month - 20 stars on GitHub - 1 maintainer
iclingo 0.1.7
π΄π’π΅ clingo kernel for Jupyter8 versions - Latest release: over 4 years ago - 1 dependent repositories - 23 downloads last month - 7 stars on GitHub - 1 maintainer
logtalk-jupyter-kernel 0.47.0
Hercutalk - A Jupyter Kernel for Logtalk52 versions - Latest release: 6 days ago - 1 dependent repositories - 260 downloads last month - 15 stars on GitHub - 1 maintainer
pytholog 2.4.1
Logic Programming in Python11 versions - Latest release: almost 6 years ago - 1 dependent repositories - 313 downloads last month - 131 stars on GitHub - 1 maintainer
Top 3.5% on pypi.org
17 versions - Latest release: over 1 year ago - 4 dependent packages - 71 dependent repositories - 20.3 thousand downloads last month - 549 stars on GitHub - 1 maintainer
pyswip 0.3.3
PySwip enables querying SWI-Prolog in your Python programs.17 versions - Latest release: over 1 year ago - 4 dependent packages - 71 dependent repositories - 20.3 thousand downloads last month - 549 stars on GitHub - 1 maintainer
pynorm 0.1.12
A probabilistic logic programming library for data science13 versions - Latest release: about 7 years ago - 1 dependent repositories - 77 downloads last month - 9 stars on GitHub - 1 maintainer
mdpproblog 0.3.0
A probabilistic logic programming framework to represent and solve MDPs.3 versions - Latest release: over 9 years ago - 1 dependent repositories - 9 downloads last month - 10 stars on GitHub - 1 maintainer
neuralogic 0.9.2
PyNeuraLogic lets you use Python to create Differentiable Logic Programs.70 versions - Latest release: 2 months ago - 1 dependent repositories - 150 downloads last month - 313 stars on GitHub - 1 maintainer
Top 5.4% on pypi.org
16 versions - Latest release: about 1 year ago - 6 dependent packages - 177 dependent repositories - 1.12 million downloads last month - 53 stars on GitHub - 1 maintainer
logical-unification 0.4.7 π°
Logical unification in Python16 versions - Latest release: about 1 year ago - 6 dependent packages - 177 dependent repositories - 1.12 million downloads last month - 53 stars on GitHub - 1 maintainer
linkml-datalog 0.2.0
Datalog inference over LinkML schemas and data2 versions - Latest release: almost 5 years ago - 1 dependent repositories - 151 downloads last month - 21 stars on GitHub - 3 maintainers
ltn 2.1
Logic Tensor Networks2 versions - Latest release: over 3 years ago - 2 dependent repositories - 77 downloads last month - 377 stars on GitHub - 1 maintainer
Top 9.6% on pypi.org
31 versions - Latest release: about 1 year ago - 1 dependent repositories - 2.67 thousand downloads last month - 2,148 stars on GitHub - 1 maintainer
logica 1.3.1415926535897
Logica language.31 versions - Latest release: about 1 year ago - 1 dependent repositories - 2.67 thousand downloads last month - 2,148 stars on GitHub - 1 maintainer
calchylus 0.1.25
Calchylus - Lambda Calculus with Hy26 versions - Latest release: over 7 years ago - 1 dependent repositories - 21 downloads last month - 3 stars on GitHub - 1 maintainer
semantic-layers 0.2.0
Install and connect semantic layers: business definitions as verified, executable synalog predica...2 versions - Latest release: 7 days ago - 0 downloads last month - 2 stars on GitHub - 1 maintainer
leanelpi 0.4.1
Python bindings for LeanElpi, the ELPI dialect of Ξ»Prolog implemented in Lean 45 versions - Latest release: 10 days ago - 0 downloads last month - 6 stars on GitHub - 1 maintainer
tiny-datalog 0.7.0
A Datalog engine whose core you can read in an afternoon, and a course built on it9 versions - Latest release: 11 days ago - 674 downloads last month - 1 stars on GitHub - 1 maintainer
currylang 0.9.0a1
The Sprite compiler and runtime for Curry1 version - Latest release: 17 days ago - 0 downloads last month - 6 stars on GitHub - 1 maintainer
Top 4.3% on pypi.org
11 versions - Latest release: over 1 year ago - 3 dependent packages - 25 dependent repositories - 1.11 million downloads last month - 251 stars on GitHub - 1 maintainer
minikanren 1.0.5 π°
Relational programming in Python11 versions - Latest release: over 1 year ago - 3 dependent packages - 25 dependent repositories - 1.11 million downloads last month - 251 stars on GitHub - 1 maintainer
prolog-reasoner 0.2.2
LLM-powered logical reasoning with Prolog - Calculator for logic4 versions - Latest release: 6 months ago - 76 downloads last month - 12 stars on GitHub - 1 maintainer
agentprologkit 0.1.1
A clean Python and CLI interface for authoring and querying SWI-Prolog, built for agents.2 versions - Latest release: 4 months ago - 1.4 thousand downloads last month - 0 stars on GitHub - 1 maintainer
nocturnusai 0.3.13
Python SDK for NocturnusAI β a logic-based inference engine and knowledge database45 versions - Latest release: 7 months ago - 197 downloads last month - 3 stars on GitHub - 1 maintainer
hydiomatic 0.2.0
The Hy Transformer3 versions - Latest release: over 7 years ago - 2 dependent repositories - 22 downloads last month - 88 stars on GitHub - 2 maintainers
Top 9.4% on pypi.org
2 versions - Latest release: 10 months ago - 31 downloads last month - 0 stars on GitHub - 1 maintainer
pyke-mcp 0.1.1 π°
MCP server for Pyke logic programming engine2 versions - Latest release: 10 months ago - 31 downloads last month - 0 stars on GitHub - 1 maintainer
drolta 0.5.0
A Datalog-inspired query engine for SQLite9 versions - Latest release: 2 months ago - 190 downloads last month - 0 stars on GitHub - 1 maintainer
pyresin 0.1.0
A reactive, probabilistic logic programming language using Reactive Circuits.14 versions - Latest release: about 1 month ago - 1.35 thousand downloads last month - 2 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: almost 3 years ago - 108 downloads last month - 0 stars on GitHub - 1 maintainer
python-logic 0.0.1
A package to run logic inferences on python1 version - Latest release: over 2 years ago - 100 downloads last month - 5 stars on GitHub - 1 maintainer
django-datalog 0.6.2
Django Datalog - Logic programming and inference engine for Django applications12 versions - Latest release: 3 months ago - 124 downloads last month - 2 stars on GitHub - 2 maintainers
repraxis 1.3.1
An in-memory logic database solution for games, based on Versu's Praxis language.1 version - Latest release: over 2 years ago - 38 downloads last month - 3 stars on GitHub - 1 maintainer
pyreason 3.6.0
An explainable inference software supporting annotated, real valued, graph based and temporal logic95 versions - Latest release: 6 months ago - 1 dependent repositories - 2.31 thousand downloads last month - 348 stars on GitHub - 1 maintainer
pasp-plp 0.0.5
Probabilistic Answer Set Programming17 versions - Latest release: over 2 years ago - 79 downloads last month - 30 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: over 1 year ago - 476 downloads last month - 4 stars on GitHub - 2 maintainers
Related Keywords
python
16
prolog
10
answer-set-programming
8
datalog
8
agents
6
logic
6
ai
5
logic programming
5
swi-prolog
4
probabilistic-programming
4
machine-learning
4
inference-engine
3
reasoning
3
sql
3
mcp
3
artificial-intelligence
3
artificial intelligence
3
answer set programming
3
deep-learning
3
clingo
3
agent-memory
2
inference
2
semantic-layer
2
database
2
logica
2
hy
2
neurosymbolic-ai
2
declarative-programming
2
minikanren
2
context-engineering
2
functional-programming
2
sqlite
2
rules
2
probabilistic logic programming
2
pytorch
2
neuro-symbolic-learning
2
symbolic-computation
2
neuro-symbolic
2
neurosymbolic
2
llm
2
rust
1
hierarchical-classification
1
neural-symbolic-ai
1
gpu-computing
1
meta
1
military-vehicles
1
gpu-accelerated
1
cuda
1
multi-label-classification
1
neuro-symbolic-ai
1
noise-tolerance
1
rule-learning
1
static-code-analysis
1
submodular-optimization
1
vision-transformer
1
IDE
1
versu
1
exclusion logic
1
games
1
in-memory-database
1
social-simulation
1
pyke
1
reactive circuits
1
knowledge-compilation
1
model-counting
1
probabilistic-inference
1
reactive-programming
1
real-time
1
rus
1
streaming
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
sat-solver
1
postgresql
1
presto
1
prolog-implementation
1
trino
1
framework
1
neural-symbolic-computing
1
fuzzy-logic
1
tensorflow
1
machinelearning
1
linkml
1
reasoing
1
constraints
1
rdf
1
rule-language
1
semantic-web
1
semantics
1