tau-prolog / draw-derivation-treesLinks
A tool for drawing derivation trees of Tau Prolog
☆11Updated 3 years ago
Alternatives and similar repositories for draw-derivation-trees
Users that are interested in draw-derivation-trees are comparing it to the libraries listed below
Sorting:
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated last year
- Boolean Constraint Solving in Prolog☆43Updated 6 months ago
- software archaeology of reflective towers of interpreters☆16Updated 8 months ago
- Fuzzy Aggregators and Similarity Into a Logic Language☆23Updated 8 months ago
- A library for non-deterministically parsing natural language expressions into a structured form.☆17Updated 2 years ago
- Kanren with databases☆43Updated 10 months ago
- Tool for compiling Lean to WASM☆19Updated last year
- Lean 4 as a scripting language in Houdini☆20Updated last year
- ☆29Updated 2 years ago
- Operations with matrices, SWI pack☆13Updated last year
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆29Updated 7 years ago
- miniKanren for search, SMT for solving☆13Updated 5 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 7 years ago
- AST export from Lean 4☆12Updated 10 months ago
- Prolog Pengines + vue.js☆17Updated 6 years ago
- Prolog binding for terminusdb-store☆21Updated 2 years ago
- A Racket Meta-Program Generator☆17Updated 5 years ago
- Yes, Erlang in SWI-Prolog!☆11Updated 6 years ago
- A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.☆20Updated 5 years ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆13Updated 8 years ago
- SPSC: A Small Positive Supercompiler☆35Updated last year
- A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera☆21Updated 3 years ago
- Lollimon, a monadic concurrent linear logic programming language☆28Updated 13 years ago
- An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4☆15Updated 3 years ago
- A formalization of synthetic differential geometry in Coq using infinitesimal analysis☆11Updated 3 years ago
- Offline partial evaluation system for Prolog written using the cogen approach☆19Updated 8 years ago
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆20Updated this week
- Common lisp implementation of Val Schorr's Meta-II language☆18Updated 8 years ago
- Accompanying materials for "A Core Calculus for Documents"☆33Updated last year
- Cur dependently-typed language in miniKanren.☆17Updated 7 years ago