Python library that enables using prolog syntax and logic programming in python
☆128Jan 28, 2023Updated 3 years ago
Alternatives and similar repositories for pytholog
Users that are interested in pytholog are comparing it to the libraries listed below
Sorting:
- PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.☆543Feb 15, 2026Updated 2 weeks ago
- pylog: an implementation of Prolog features in Python☆37Dec 21, 2024Updated last year
- An extensible, lightweight relational/logic programming DSL written in pure Python☆236Aug 22, 2025Updated 6 months ago
- A tool for explainability and debugging in Answer Set Programming.☆15Mar 25, 2025Updated 11 months ago
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆301Aug 9, 2024Updated last year
- A simple Prolog Interpreter written in a few lines of Python 3. It runs a limited subset of Prolog and uses backtracking and generators i…☆253Nov 25, 2023Updated 2 years ago
- Datalog based relational programming in Python.☆15Dec 26, 2022Updated 3 years ago
- Classical CHAT80 NLP system for Prolog☆25Feb 27, 2025Updated last year
- Logic Programming in Python☆925Oct 23, 2025Updated 4 months ago
- A Python interface to the Prolog pengines library. Makes it exceedingly easy to call out to SWI-Prolog within Python!☆12Jun 26, 2020Updated 5 years ago
- A Jupyter kernel for Logtalk☆13Aug 23, 2025Updated 6 months ago
- DeepLogic: Towards End-to-End Differentiable Logical Reasoning☆25Jul 7, 2020Updated 5 years ago
- ☆13Jul 24, 2021Updated 4 years ago
- Python interface for SWI-Prolog☆50Feb 22, 2026Updated last week
- Zwickys Morphological Analysis implemented in Python☆16Jan 29, 2019Updated 7 years ago
- Aligntune : A Modular Toolkit for Post Training Alignment of LLMs☆35Feb 26, 2026Updated last week
- Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.☆87Oct 28, 2021Updated 4 years ago
- ☆12Nov 30, 2023Updated 2 years ago
- Neuro-Symbolic Visual Question Answering on Sort-of-CLEVR using PyTorch☆60Oct 28, 2021Updated 4 years ago
- From Symbolic Logic Reasoning to Soft Reasoning: A Neural-Symbolic Paradigm☆11Jul 18, 2022Updated 3 years ago
- ☆16Apr 19, 2021Updated 4 years ago
- a datalog implementation in Python☆307Sep 3, 2024Updated last year
- Convert Abstract Meaning Representation (AMR) into first-order logic☆16Aug 7, 2024Updated last year
- Simulation of neural network evolution☆17Sep 10, 2023Updated 2 years ago
- python based YAML-to-OWL-converter☆18May 20, 2022Updated 3 years ago
- ros_control robot-specific back end for vrep (i.e. ~ gazebo_ros_control but for vrep and for a specific robot)☆18Oct 23, 2014Updated 11 years ago
- Tree Stack Memory Units☆17Jun 17, 2020Updated 5 years ago
- With embedders, you can easily convert your texts into sentence- or token-level embeddings within a few lines of code. Use cases for this…☆21Jul 14, 2025Updated 7 months ago
- ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.☆394Sep 23, 2025Updated 5 months ago
- Grammatical Evolution package for Julia.☆15Jan 25, 2016Updated 10 years ago
- ☆52Oct 30, 2021Updated 4 years ago
- PyTorch port of the paper "Language to Logical Form with Neural Attention"☆40Jan 23, 2020Updated 6 years ago
- [EMNLP 2020] PyTorch code of PRover: Proof Generation for Interpretable Reasoning over Rules☆19Jul 6, 2023Updated 2 years ago
- Some notes taken while working on Prolog☆196Jan 29, 2026Updated last month
- A Concatenative Programming Language inspired by Cat☆22Nov 20, 2020Updated 5 years ago
- RDFa 1.1 distiller/parser library: can extract RDFa 1.1 (and RDFa 1.0, if properly set via a @version attribute) from (X)HTML, SVG, or XM…☆72Jun 21, 2022Updated 3 years ago
- A SHACL validator capable of planning the traversal and execution of the validation of a shape schema to detect violations early.☆25Feb 24, 2026Updated last week
- Programming in Tabled Prolog by David S Warren☆22Mar 11, 2020Updated 5 years ago
- Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games☆56Sep 17, 2025Updated 5 months ago