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:
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆29Updated last week
- Some notes taken while working on Prolog☆189Updated last year
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆177Updated 4 years ago
- Constraint Logic Programming over Integers☆209Updated last year
- ☆56Updated 4 months ago
- A logic programming language that has features of both Datalog and answer set programming.☆117Updated last week
- Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.☆314Updated 3 months ago
- Kanren with databases☆44Updated last year
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆30Updated 7 years ago
- Programming in Tabled Prolog by David S Warren☆22Updated 5 years ago
- Embeddable Lambda Prolog Interpreter☆326Updated last week
- Slog 1.0☆43Updated last year
- A compact, efficient Prolog interpreter written in plain-old C.☆315Updated this week
- Top-down interpreter for ASP programs with Constraints☆33Updated 3 months ago
- Compile and run Constraint Handling Rules (CHR) in JavaScript☆105Updated last year
- An efficient implementation of the higher-order logic programming language Lambda Prolog☆157Updated last year
- CLP(BNR) module for SWI-Prolog☆44Updated 4 months ago
- Collapsing Towers of Interpreters☆91Updated 3 months ago
- multi-stage relational programming for staged relational interpreters: running with holes, faster☆136Updated 3 months ago
- Randomized testing for Prolog à la QuickCheck☆23Updated 6 years ago
- cplint is a suite of programs for reasoning with probabilistic logic programs☆78Updated 3 weeks ago
- Bringing Prolog to the masses.☆36Updated 3 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated this week
- Language based on Rewriting Logic☆136Updated last week
- Bologna Optimal Higher-Order Machine, Version 1.1☆77Updated 8 years ago
- A Prolog library to connect to PostgreSQL databases☆104Updated last year
- An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax☆113Updated 2 months ago
- ☆138Updated 3 years ago
- Python interface for SWI-Prolog☆49Updated last week
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆224Updated last year