mistupv / SWIPrologZ3
A simple Prolog API for the Z3 constraint solver
☆14Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for SWIPrologZ3
- Prolog implementation of microKanren☆41Updated 9 years ago
- Yes, Erlang in SWI-Prolog!☆12Updated 6 years ago
- CLP(BNR) module for SWI-Prolog☆39Updated last month
- Apply and compose functions in Prolog☆19Updated 8 years ago
- Kanren with databases☆43Updated 3 months ago
- Prolog HTTPS Servers☆36Updated 6 years ago
- Markdown parser for SWI-Prolog.☆20Updated 4 years ago
- If at first you don't succeed☆12Updated 4 years ago
- minikanren mips assembler/disassembler☆29Updated 9 years ago
- A VS Code extension supporting for Picat language☆16Updated 6 years ago
- Prolog stuff☆26Updated 5 years ago
- Randomized testing for Prolog à la QuickCheck☆22Updated 5 years ago
- Lojban ologs (categorical databases) using jq☆23Updated 5 years ago
- Collapsing Towers of Interpreters (in Scheme)☆56Updated 6 years ago
- Benoit Desouter's library for tabling on delimited continuations☆9Updated 8 years ago
- Pengine and Prolog scratchpad☆57Updated 4 years ago
- staged relational interpreters: running with holes, faster☆125Updated this week
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆32Updated 5 months ago
- Pfc: adding forward chaining and truth maintenance to Prolog☆11Updated 2 years ago
- experimental computational medium and supporting tools☆22Updated this week
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆24Updated 10 years ago
- A microKanren framework for implementing constraints.☆18Updated 6 years ago
- Higher Order Prolog with Extensional Semantics☆50Updated 4 years ago
- Poplog☆21Updated 13 years ago
- Prolog Reverse Proxy☆19Updated 6 years ago
- Extended DCG syntax for Prolog by Peter Van Roy☆21Updated 6 years ago
- Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48☆36Updated 12 years ago
- Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.☆20Updated 9 years ago
- Explainable machine learning☆18Updated 5 years ago