flavioc / yap
YAP is a high-performance Prolog compiler
☆12Updated 13 years ago
Related projects: ⓘ
- Poplog☆21Updated 13 years ago
- Fast, simplified WAM-based Prolog system☆17Updated last year
- Boolean Constraint Solving in Prolog☆38Updated last year
- SWI-Prolog dynamic C interface☆16Updated 2 months ago
- Apply and compose functions in Prolog☆19Updated 7 years ago
- Extended DCG syntax for Prolog by Peter Van Roy☆21Updated 6 years ago
- Prolog implementation of microKanren☆41Updated 9 years ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆12Updated 7 years ago
- minikanren mips assembler/disassembler☆29Updated 9 years ago
- Reason about Term Rewriting Systems☆15Updated 2 years ago
- Reason about Bitcoin addresses with Prolog☆21Updated 6 months ago
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆23Updated 10 years ago
- adds an optional type system to J language☆21Updated 8 years ago
- Prolog library for building self-optimizing predicates☆9Updated 9 years ago
- Simple Neural Network Examples in 8 lines APL☆30Updated last year
- Markdown parser for SWI-Prolog.☆20Updated 3 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆32Updated 3 months ago
- Refactoring Tools for SWI-Prolog☆19Updated 3 months ago
- Prolog list utility predicates☆11Updated 6 years ago
- ☆7Updated last week
- ☆47Updated 3 months ago
- Benoit Desouter's library for tabling on delimited continuations☆9Updated 8 years ago
- Streaming library for bulk memory operations with Standard ML in MLton☆27Updated 9 years ago
- Offline partial evaluation system for Prolog written using the cogen approach☆18Updated 8 years ago
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- ☆17Updated last month
- Small Prolog☆12Updated 7 years ago
- Write TAP tests with SWI-Prolog☆12Updated last year
- jod distribution source with commented versions in (jodijs) - tracks J Pacman versions☆10Updated last month
- Datalog implemented in minikanren☆24Updated 7 years ago