Python library that enables using prolog syntax and logic programming in python
☆129Jan 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.☆545Feb 15, 2026Updated 2 months ago
- pylog: an implementation of Prolog features in Python☆36Dec 21, 2024Updated last year
- An extensible, lightweight relational/logic programming DSL written in pure Python☆241Aug 22, 2025Updated 7 months ago
- Prolog implemented in Python☆12Sep 6, 2024Updated last year
- Logic Programming in Python☆31Sep 28, 2021Updated 4 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆313Aug 9, 2024Updated last year
- Classical CHAT80 NLP system for Prolog☆25Feb 27, 2025Updated last year
- Datalog based relational programming in Python.☆15Dec 26, 2022Updated 3 years ago
- A tool for explainability and debugging in Answer Set Programming.☆15Mar 25, 2025Updated last year
- ☆13Aug 16, 2022Updated 3 years ago
- Logic Programming in Python☆928Oct 23, 2025Updated 5 months ago
- DeepLogic: Towards End-to-End Differentiable Logical Reasoning☆25Jul 7, 2020Updated 5 years ago
- Python interface for SWI-Prolog☆50Mar 15, 2026Updated last month
- ☆12Nov 30, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A Jupyter kernel for Logtalk☆14Aug 23, 2025Updated 7 months ago
- ☆16Dec 17, 2023Updated 2 years ago
- Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.☆86Oct 28, 2021Updated 4 years ago
- Deep learning models for retinal vascular analysis from color fundus images☆19Oct 28, 2025Updated 5 months ago
- [EMNLP 2020] PyTorch code of PRover: Proof Generation for Interpretable Reasoning over Rules☆19Jul 6, 2023Updated 2 years ago
- PyTorch code for the RetoMaton paper: "Neuro-Symbolic Language Modeling with Automaton-augmented Retrieval" (ICML 2022)☆76Jul 16, 2022Updated 3 years ago
- An inductive logic programming system☆279Updated this week
- Machine Query Interface☆21Mar 15, 2026Updated last month
- Scalable Neural-Probabilistic Answer Set Programming☆18May 23, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Usable implementation of Emerging Symbol Binding Network (ESBN), in Pytorch☆25Jan 6, 2021Updated 5 years ago
- ☆51Nov 11, 2023Updated 2 years ago
- ☆25Apr 3, 2025Updated last year
- Language Server for Prolog☆13May 2, 2023Updated 2 years ago
- Convert Abstract Meaning Representation (AMR) into first-order logic☆17Aug 7, 2024Updated last year
- Demo of a WAM Prolog implementation in Python☆78Apr 28, 2023Updated 2 years ago
- Source code of Neural Logic Reinforcement Learning (https://arxiv.org/abs/1904.10729)☆77Jan 6, 2020Updated 6 years ago
- A `Neural = Symbolic` framework for sound and complete weighted real-value logic☆313Updated this week
- Some simple examples of how to use SWI Prolog as a webserver☆16Apr 4, 2020Updated 6 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- 非常好用的工具包，可以直接安装并使用☆21Mar 18, 2022Updated 4 years ago
- python based YAML-to-OWL-converter☆18May 20, 2022Updated 3 years ago
- RelNN is a novel first-order deep neural model for relational learning.☆28Nov 15, 2017Updated 8 years ago
- 🔪🧀 API for creating and inspecting Python .whl files (wheels)☆28Nov 4, 2024Updated last year
- Neuro-Symbolic Integration Brings Causal and Reliable Reasoning Proofs☆41Feb 15, 2024Updated 2 years ago
- Python Model to Text framework for PyEcore, including the Ecore to Python generator☆32Apr 10, 2021Updated 5 years ago
- Programming in Tabled Prolog by David S Warren☆22Mar 11, 2020Updated 6 years ago