philzook58 / prologsolvers
Copies of prolog solvers for use from python
☆17Updated 9 months ago
Alternatives and similar repositories for prologsolvers:
Users that are interested in prologsolvers are comparing it to the libraries listed below
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆57Updated last month
- [Mirror] A close reading of the μKanren paper.☆42Updated 2 years ago
- Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…☆28Updated 3 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated 2 years ago
- ☆47Updated 5 months ago
- A lisp dialect based on pattern matching and term rewriting☆84Updated 6 months ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆25Updated 10 months ago
- CHR2 to SQL conversion☆13Updated 9 years ago
- ☆54Updated 11 months ago
- a general blog about my projects, or anything☆18Updated 2 weeks ago
- Autoregressive transformers in APL☆100Updated 2 months ago
- Reader to enable embedding images in source files as text☆19Updated 3 months ago
- I moved this folder. Keeping this repo up for archival purposes only.☆17Updated 10 months ago
- A tiny, self-contained, general-purpose quantum interpreter.☆48Updated last year
- Template engine for ISO Prolog, based on Jinja and Tera☆16Updated last year
- A Prolog library to connect to PostgreSQL databases☆97Updated 11 months ago
- Art of Prolog Code☆36Updated 5 years ago
- debugging biological networks to reach coherence, completeness and consistency☆46Updated last year
- Kanren with databases☆43Updated 8 months ago
- A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator☆34Updated 12 years ago
- Polynomial-time Meta-Interpretive Learning☆120Updated 2 months ago
- Leibniz - a Digital Scientific Notation☆33Updated 3 months ago
- Demo of a WAM Prolog implementation in Python☆77Updated last year
- Learn multi-variable optimization by creating a drawing assistant. No deep learning required!☆27Updated 2 years ago
- How to read Lean☆17Updated 2 months ago
- Slog 1.0☆41Updated 10 months ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆51Updated 8 years ago
- Awesome datalog libraries, tools and resources☆60Updated 5 years ago
- The ErgoAI reasoning engine, an advanced object-oriented knowledge management system☆37Updated 2 weeks ago
- The Flix Programming Book☆17Updated this week