kyledewey / typed-prolog
A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
☆28Updated 7 years ago
Alternatives and similar repositories for typed-prolog:
Users that are interested in typed-prolog are comparing it to the libraries listed below
- source code for the bondi programming language☆40Updated 5 years ago
- A compiler and run-time system to compile and run Curry programs as Go programs☆23Updated 2 months ago
- higher order dependently typed logic programing☆170Updated 6 years ago
- Kanren with databases☆43Updated 6 months ago
- Interpreter for the reversible functional language rFun☆36Updated 6 years ago
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆25Updated 11 years ago
- A metalanguage for creating sophisticated DSLs in Racket.☆28Updated this week
- Optional types for Prolog☆16Updated 5 years ago
- Apply and compose functions in Prolog☆19Updated 8 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated 7 months ago
- Logic for story telling!☆34Updated 6 years ago
- Relational interpeter combining miniKanren-in-miniKanren and Scheme-in-miniKanren☆16Updated 2 months ago
- Algebra of Programming in Agda: Dependent Types for Relational Program Derivation☆80Updated 8 years ago
- A pure type system implemented in OCaml☆77Updated 4 years ago
- PLT Redex model of basic Dependently Typed Racket calculus☆18Updated 9 years ago
- Relational interpreter for miniKanren, in miniKanren.☆14Updated 3 years ago
- ☆34Updated 10 months ago
- Lollimon, a monadic concurrent linear logic programming language☆28Updated 13 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated 8 months ago
- Accompanying materials for "A Core Calculus for Documents"☆31Updated last year
- Bologna Optimal Higher-Order Machine, Version 1.1☆69Updated 7 years ago
- purple: compiling a reflective language☆32Updated 4 months ago
- Statically typed embedding of miniKanren relational programming language into OCaml☆117Updated last week
- A Python backed for Idris 2☆21Updated 3 months ago
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆57Updated 8 months ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Updated 4 years ago
- Extended DCG syntax for Prolog by Peter Van Roy☆21Updated 6 years ago
- Randomized testing for Prolog à la QuickCheck☆23Updated 5 years ago
- The Mechanization of Standard ML☆72Updated 2 years ago
- Constraint Handling Rules☆15Updated 4 months ago