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.☆43Updated 3 years ago
- A compact, efficient Prolog interpreter written in plain-old C.☆297Updated this week
- A Prolog library to connect to PostgreSQL databases☆99Updated last year
- The NIAL language environment☆112Updated 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
- concatenative array language inspired by kdb/+q☆92Updated 3 years ago
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- A simple implementation based on Peter Henderson's paper "Functional Geometry"☆96Updated 4 years ago
- 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.☆118Updated last month
- Brzozowski derivative python sketch☆85Updated 2 months ago
- A new declarative programming language☆23Updated 4 years ago
- The Brown Benchmark for Table Types (B2T2)☆64Updated last year
- arthur whitney's b interpreter translated into a more traditional flavor of C☆98Updated 7 years ago
- A PEG that compiles itself.☆76Updated 14 years ago
- CHR2 to SQL conversion☆13Updated 9 years ago
- Simple array language written in kotlin☆46Updated 2 years ago
- A List of companies that use Array Languages (J, K, APL, q)☆98Updated last year
- What if Git worked with Programming Languages?☆98Updated 3 years ago
- Polynomial-time Meta-Interpretive Learning☆128Updated 4 months ago
- An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'☆83Updated 5 years ago
- Book lucid interpreter written in python☆24Updated 5 years ago
- ☆53Updated 4 years ago
- Yet another PEG parser combinator library and DSL☆56Updated last year
- ☆100Updated 3 years ago
- A terse Prolog course☆43Updated 6 years ago
- An ngn/k tutorial.☆203Updated last year
- Programming language for ternary computing☆30Updated 4 years ago
- the origins of J☆62Updated last year
- Responsive, animated figures in JavaScript/HTML canvases☆134Updated last month