oblivia-simplex / plogLinks
A bare-bones blogging system, written in Prolog
☆25Updated last year
Alternatives and similar repositories for plog
Users that are interested in plog are comparing it to the libraries listed below
Sorting:
- Pure relational SKI combinator calculus interpreter.☆11Updated 7 years ago
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆25Updated 11 years ago
- A relational interpretation of Lojban☆33Updated 4 months ago
- A SKI combinators interpreter written in assembly☆19Updated 4 years ago
- Implementation of dependent type theory in SWI-Prolog☆9Updated 4 years ago
- Boolean Constraint Solving in Prolog☆43Updated 5 months ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆38Updated 4 years ago
- Fast, simplified WAM-based Prolog system☆22Updated 3 weeks ago
- A small language to demo turning an interpreter into a compiler☆11Updated 8 years ago
- Extended DCG syntax for Prolog by Peter Van Roy☆21Updated 7 years ago
- Rules for writing academic papers and checking them using LTex-ls and LanguageTool☆19Updated 3 months ago
- Logic for story telling!☆34Updated 7 years ago
- Specification of the Cedille Core language☆29Updated 4 years ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆29Updated 7 years ago
- Extend Definite Clause Grammars for Prolog by the corresponding parse tree☆11Updated 2 years ago
- TPTP linear logic version☆13Updated 4 months ago
- A language-integrated proof assistant, for and in Racket☆39Updated 8 years ago
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Updated 2 years ago
- Reason about Term Rewriting Systems☆16Updated 2 years ago
- Probabilistic Functional Logic Programming☆16Updated 2 months ago
- miniKanren with a first-order representation of the search space☆16Updated 10 months ago
- A showcase of interesting code and proof developments in Cedille☆36Updated 2 years ago
- A Scheme-like CBPV language with Racket Interoperability☆39Updated last year
- A compilation-friendly fexpr language. (Proof of concept.)☆21Updated 4 months ago
- A categorical semantics library in Agda.☆17Updated 5 years ago
- Miller/pattern unification in Agda☆65Updated 11 years ago
- Relational interpreter for miniKanren, in miniKanren.☆14Updated 3 years ago
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 6 years ago
- Write TAP tests with SWI-Prolog☆12Updated 2 years ago
- Based on paper by Greg Morrisett , TAL-0 is the design of a RISC-style typed assembly language which focuses on control-flow safety.☆22Updated 8 years ago