Python interface for SWI-Prolog
☆50Feb 22, 2026Updated last week
Alternatives and similar repositories for packages-swipy
Users that are interested in packages-swipy are comparing it to the libraries listed below
Sorting:
- Julia wrapper around SWI Prolog☆13Feb 17, 2022Updated 4 years ago
- Experimentation framework for Popper☆25Jul 24, 2025Updated 7 months ago
- Programming in Tabled Prolog by David S Warren☆22Mar 11, 2020Updated 5 years ago
- C. Hocquette and A. Cropper, Learning programs with magic values.☆19Oct 5, 2022Updated 3 years ago
- CLP(BNR) module for SWI-Prolog☆44Feb 24, 2026Updated last week
- programs written in Picat☆11Feb 10, 2026Updated 3 weeks ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆12Aug 30, 2025Updated 6 months ago
- An inductive logic programming system☆270Updated this week
- cplint is a suite of programs for reasoning with probabilistic logic programs☆83Jan 20, 2026Updated last month
- TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.☆14Jan 13, 2026Updated last month
- Python implementation of the main algorithms of the Learning From Interpretation Transitions (LFIT) framework☆17Jun 13, 2025Updated 8 months ago
- ☆13Mar 27, 2024Updated last year
- A numpy like array programming language optimized with BuildIt☆14Oct 17, 2025Updated 4 months ago
- Polynomial-time Meta-Interpretive Learning☆134Feb 11, 2025Updated last year
- The SWI-Prolog RDF store☆33Feb 22, 2026Updated last week
- ☆16Mar 14, 2024Updated last year
- Crate for reading TPTP files.☆15May 11, 2022Updated 3 years ago
- C. Hocquette and A. Cropper, Relational program synthesis with numerical reasoning, AAAI23.☆17Feb 22, 2023Updated 3 years ago
- Automatic theorem proving via natural language reasoning with LLMs☆22May 16, 2025Updated 9 months ago
- Neuro-Symbolic Hierarchical Rule Induction☆14Dec 31, 2022Updated 3 years ago
- 🍀 A system for probabilistic reasoning in clingo☆20Jun 24, 2024Updated last year
- An experimental package manager for Scryer Prolog☆22Nov 25, 2025Updated 3 months ago
- SWI-Prolog WebAssembly build as a NPM package☆59Updated this week
- A framework to ease parallelization of sequential SAT solvers☆32Jan 14, 2026Updated last month
- Advanced support for working with RDF in Prolog.☆19Aug 31, 2024Updated last year
- Debug Adapter Protocol (DAP) implementation for SWI-Prolog☆21Mar 28, 2022Updated 3 years ago
- Port of Aleph to SWI-Prolog☆52Feb 7, 2024Updated 2 years ago
- Machine Query Interface☆20Feb 22, 2026Updated last week
- ☆53Dec 7, 2024Updated last year
- Metagol - an inductive logic programming system☆207Sep 13, 2021Updated 4 years ago
- Run AllegroGraph in a Docker container☆21May 31, 2025Updated 9 months ago
- ☆62Nov 11, 2025Updated 3 months ago
- top-down interpreter for ASP programs with constraints☆18Sep 19, 2022Updated 3 years ago
- The Termination Problem Database☆29Aug 20, 2025Updated 6 months ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆59Jan 26, 2024Updated 2 years ago
- A Jupyter kernel for Prolog☆24May 7, 2024Updated last year
- ☆26Feb 11, 2026Updated 3 weeks 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
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆38Feb 19, 2026Updated 2 weeks ago