brunokim / prolLinks
Demo of a WAM Prolog implementation in Python
☆77Updated 2 years ago
Alternatives and similar repositories for prol
Users that are interested in prol are comparing it to the libraries listed below
Sorting:
- [Mirror] A close reading of the μKanren paper.☆42Updated 2 years ago
- A compact, efficient Prolog interpreter written in plain-old C.☆296Updated this week
- Rewrite of Arthur Whitney's one-page J interpreter in Rust☆62Updated 5 years ago
- A logic programming language that has features of both Datalog and answer set programming.☆117Updated 3 weeks ago
- concatenative array language inspired by kdb/+q☆92Updated 3 years ago
- A new declarative programming language☆23Updated 4 years ago
- The NIAL language environment☆112Updated 2 years ago
- Constructive real numbers, in JavaScript. Based on Hans-J. Boehm's Java implementation☆17Updated 2 years ago
- The Brown Benchmark for Table Types (B2T2)☆64Updated 11 months ago
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- Book lucid interpreter written in python☆24Updated 5 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
- Brzozowski derivative python sketch☆85Updated last month
- CHR2 to SQL conversion☆13Updated 9 years ago
- A PEG that compiles itself.☆76Updated 14 years ago
- A programming language where the syntax and semantics are mutable at runtime☆166Updated 13 years ago
- A Prolog library to connect to PostgreSQL databases☆98Updated last year
- ☆100Updated 3 years ago
- The Om programming language.☆172Updated 7 months ago
- Simple array language written in kotlin☆46Updated 2 years ago
- Programming language for ternary computing☆30Updated 4 years ago
- A simple implementation based on Peter Henderson's paper "Functional Geometry"☆96Updated 4 years ago
- ☆51Updated 2 weeks ago
- Polynomial-time Meta-Interpretive Learning☆127Updated 3 months ago
- Some fun examples of solving problems with symbolic execution☆113Updated 6 years ago
- A VS Code extension supporting for Picat language☆16Updated 6 years ago
- What if Git worked with Programming Languages?☆98Updated 3 years ago
- Blech is a language for developing reactive, real-time critical embedded software.☆67Updated 2 years ago
- A terse Prolog course☆43Updated 6 years ago
- a language for building system dynamic models☆164Updated last month