stassa / louiseLinks
Polynomial-time Meta-Interpretive Learning
☆128Updated 7 months ago
Alternatives and similar repositories for louise
Users that are interested in louise are comparing it to the libraries listed below
Sorting:
- Some notes taken while working on Prolog☆189Updated last year
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆29Updated this week
- Kanren with databases☆44Updated last year
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆177Updated 4 years ago
- Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.☆312Updated 2 months ago
- CLP(BNR) module for SWI-Prolog☆44Updated 4 months ago
- Constraint Logic Programming over Integers☆206Updated last year
- Compile and run Constraint Handling Rules (CHR) in JavaScript☆105Updated last year
- ☆56Updated 3 months ago
- Programming in Tabled Prolog by David S Warren☆22Updated 5 years ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆30Updated 7 years ago
- Slog 1.0☆43Updated last year
- Python interface for SWI-Prolog☆49Updated this week
- Top-down interpreter for ASP programs with Constraints☆33Updated 2 months ago
- A logic programming language that has features of both Datalog and answer set programming.☆117Updated 3 weeks ago
- Prolog, Datalog, languages, resources, and beyond!☆32Updated 10 months ago
- An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax☆112Updated last month
- An efficient implementation of the higher-order logic programming language Lambda Prolog☆156Updated last year
- A compact, efficient Prolog interpreter written in plain-old C.☆312Updated this week
- Metagol - an inductive logic programming system☆204Updated 3 years ago
- multi-stage relational programming for staged relational interpreters: running with holes, faster☆136Updated 2 months ago
- Domain Specific Languages for Computational Law☆77Updated 2 months ago
- ☆138Updated 3 years ago
- Embeddable Lambda Prolog Interpreter☆324Updated last week
- Pengine and Prolog scratchpad☆59Updated this week
- Randomized testing for Prolog à la QuickCheck☆23Updated 6 years ago
- Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…☆29Updated 3 years ago
- Apply and compose functions in Prolog☆19Updated 8 years ago
- Prolog implementation of microKanren☆43Updated 10 years ago
- top-down interpreter for ASP programs with constraints☆17Updated 2 years ago