Python library that enables using prolog syntax and logic programming in python
☆131Jan 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.☆549Feb 15, 2026Updated 5 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☆247Aug 22, 2025Updated 11 months ago
- A tool for explainability and debugging in Answer Set Programming.☆15May 15, 2026Updated 2 months ago
- ☆13Jul 24, 2021Updated 5 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Logic Programming in Python☆931Oct 23, 2025Updated 9 months ago
- Chinese Translation of the Docbook Prince Version of the Complete Lojban Language☆10Jul 18, 2021Updated 5 years ago
- Neuro-Symbolic Visual Question Answering on Sort-of-CLEVR using PyTorch☆64Oct 28, 2021Updated 4 years ago
- A Jupyter kernel for Logtalk☆14Aug 23, 2025Updated 11 months ago
- PyTorch code for the RetoMaton paper: "Neuro-Symbolic Language Modeling with Automaton-augmented Retrieval" (ICML 2022)☆77Jul 16, 2022Updated 4 years ago
- ☆15Apr 19, 2021Updated 5 years ago
- ☆21Nov 3, 2024Updated last year
- Tree Stack Memory Units☆17Jun 17, 2020Updated 6 years ago
- A Python library for logic formalisms representation and manipulation.☆16Jan 21, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Embeddable Prolog dialect implemented in pure Python. Stores its knowlegdebase using SQLAlchemy for scalability.☆20Jan 6, 2018Updated 8 years ago
- ☆54May 11, 2026Updated 2 months ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Feb 2, 2026Updated 5 months ago
- Convert Abstract Meaning Representation (AMR) into first-order logic☆17Aug 7, 2024Updated last year
- Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions☆20Jul 5, 2026Updated 3 weeks ago
- ☆25Apr 3, 2025Updated last year
- Demo of a WAM Prolog implementation in Python☆80Apr 28, 2023Updated 3 years ago
- Some notes taken while working on Prolog☆200Jan 29, 2026Updated 6 months ago
- Online, interactive edition of the "Simply Logical" Prolog textbook☆181Dec 17, 2024Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- (ARCHIVED) Two-stage form compiler☆16Mar 31, 2025Updated last year
- A `Neural = Symbolic` framework for sound and complete weighted real-value logic☆322Updated this week
- 非常好用的工具包，可以直接安装并使用☆21Mar 18, 2022Updated 4 years ago
- Some simple examples of how to use SWI Prolog as a webserver☆16Apr 4, 2020Updated 6 years ago
- SWI-Prolog Main development repository☆1,264Updated this week
- Zwickys Morphological Analysis implemented in Python☆16Jan 29, 2019Updated 7 years ago
- Hard-Forked from JuliaText/TextAnalysis.jl☆17Aug 14, 2023Updated 2 years ago
- 🔪🧀 API for creating and inspecting Python .whl files (wheels)☆28Nov 4, 2024Updated last year
- A library for generating truth tables☆14Apr 12, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Programming in Tabled Prolog by David S Warren☆24Mar 11, 2020Updated 6 years ago
- pysnoo is a python library to interact with the SNOO Smart Sleeper Bassinet☆23Mar 13, 2023Updated 3 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 4 years ago
- QGAME: Quantum Gate and Measurement Emulator, a quantum computer simulator☆33Feb 17, 2017Updated 9 years ago
- Python versions of exercises from the CORE Econ textbook☆14Aug 25, 2023Updated 2 years ago
- Code and Data for DeepLog system☆17Feb 16, 2023Updated 3 years ago
- A SHACL validator capable of planning the traversal and execution of the validation of a shape schema to detect violations early.☆28Feb 24, 2026Updated 5 months ago