oblivia-simplex / plogLinks
A bare-bones blogging system, written in Prolog
☆26Updated last year
Alternatives and similar repositories for plog
Users that are interested in plog are comparing it to the libraries listed below
Sorting:
- Boolean Constraint Solving in Prolog☆46Updated 8 months ago
- A compilation-friendly fexpr language. (Proof of concept.)☆23Updated 7 months ago
- Logic for story telling!☆34Updated 7 years ago
- ☆22Updated 5 years ago
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆25Updated 11 years ago
- A small language to demo turning an interpreter into a compiler☆11Updated 8 years ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆30Updated 7 years ago
- Prolog-Style Meta-Interpreters in miniKanren☆33Updated 5 months ago
- TPTP linear logic version☆14Updated 7 months ago
- A relational interpretation of Lojban☆34Updated last month
- Pure relational SKI combinator calculus interpreter.☆11Updated 8 years ago
- A dynamically-typed CBPV language embedded in Racket☆39Updated last year
- An idris backend compiling to chez scheme☆47Updated 7 years ago
- Bologna Optimal Higher-Order Machine, Version 1.1☆75Updated 8 years ago
- Abstract krivine machine implementing call-by-name semantics. In OCaml.☆44Updated 7 years ago
- A categorical semantics library in Agda.☆17Updated 5 years ago
- Lojban ologs (categorical databases) using jq☆24Updated 6 years ago
- Because why wouldn't you want to typeset Coq in Scribble?☆10Updated 5 years ago
- A SKI combinators interpreter written in assembly☆20Updated 5 years ago
- Racket bindings for Z3☆24Updated 6 years ago
- Mirror of Epigram 2, by Conor McBride, et al.☆48Updated 5 years ago
- Implementation of dependent type theory in SWI-Prolog☆10Updated 4 years ago
- A library for non-deterministically parsing natural language expressions into a structured form.☆17Updated 2 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated last year
- ☆61Updated 6 years ago
- miniKanren for search, SMT for solving☆13Updated 5 years ago
- Fast, simplified WAM-based Prolog system☆24Updated 3 months ago
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 6 years ago
- Randomized testing for Prolog à la QuickCheck☆23Updated 6 years ago
- An experimental implementation of a tiny ML-like language using an embedded custom expander (WIP, currently just System F core language)☆21Updated 6 years ago