nfzhou / lp-contestLinks
☆11Updated last month
Alternatives and similar repositories for lp-contest
Users that are interested in lp-contest are comparing it to the libraries listed below
Sorting:
- Offline partial evaluation system for Prolog written using the cogen approach☆20Updated 9 years ago
- CLP(BNR) module for SWI-Prolog☆44Updated 6 months ago
- The Ciao Preprocessor☆11Updated 4 months ago
- Programming in Tabled Prolog by David S Warren☆22Updated 5 years ago
- Top-down interpreter for ASP programs with Constraints☆34Updated 4 months ago
- C. Hocquette and A. Cropper, Relational program synthesis with numerical reasoning, AAAI23.☆17Updated 2 years ago
- A heuristic procedure for proving inequalities☆34Updated 7 years ago
- Implementation of higher-order logic in Python☆65Updated 2 years ago
- Call Julia code from Prolog☆27Updated 3 years ago
- Relational version of parsing with derivatives code☆43Updated 12 years ago
- Relational interpeter combining miniKanren-in-miniKanren and Scheme-in-miniKanren☆18Updated 5 months ago
- A VS Code extension supporting for Picat language☆18Updated 7 years ago
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated last year
- ☆16Updated 4 years ago
- LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 1990's☆14Updated 2 months ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆87Updated 2 years ago
- Julia wrapper around SWI Prolog☆13Updated 3 years ago
- Pedagogical first-order prover in Python☆77Updated 5 months ago
- A collection of problem specifications in Essence.☆10Updated 6 months ago
- C. Hocquette and A. Cropper, Learning programs with magic values.☆19Updated 3 years ago
- SAT solver for education☆26Updated 3 years ago
- ☆59Updated 11 years ago
- The Standard Interface for Incremental Satisfiability Solving☆50Updated 3 years ago
- Miking - the meta viking: a meta-language system for creating embedded languages☆55Updated last week
- cplint is a suite of programs for reasoning with probabilistic logic programs☆79Updated 2 months ago
- Reason about Term Rewriting Systems☆18Updated 3 years ago
- A metalanguage for creating sophisticated DSLs in Racket.☆37Updated last month
- CLP(SMT) on top of miniKanren☆38Updated 3 years ago
- Simple BlackJack game via Browser using SWI Prolog, Tau Prolog☆10Updated 5 years ago
- A collection of Kanren implementations in Julia☆24Updated last month