tau-prolog / draw-derivation-trees
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
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated 10 months ago
- A structure editor for a simple functional programming language, with Vim-like shortcuts and commands.☆15Updated last year
- A formalization of synthetic differential geometry in Coq using infinitesimal analysis☆11Updated 3 years ago
- A Declarative Theorem Prover for First-Order Classical Logic☆28Updated 9 months ago
- Operations with matrices, SWI pack☆13Updated last year
- An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4☆15Updated 2 years ago
- AST export from Lean 4☆11Updated 8 months ago
- Lean 4 as a scripting language in Houdini☆20Updated last year
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆31Updated 12 years ago
- A metalanguage for creating sophisticated DSLs in Racket.☆31Updated 2 weeks ago
- Lean 4 Metamath verifier☆17Updated last year
- Lollimon, a monadic concurrent linear logic programming language☆28Updated 13 years ago
- A library for non-deterministically parsing natural language expressions into a structured form.☆17Updated 2 years ago
- Fast, simplified WAM-based Prolog system☆21Updated 2 years ago
- Reason about Term Rewriting Systems☆16Updated 2 years ago
- Fuzzy Aggregators and Similarity Into a Logic Language☆21Updated 6 months ago
- Relational interpreter for miniKanren, in miniKanren.☆14Updated 3 years ago
- Art of Prolog Code☆36Updated 5 years ago
- software archaeology of reflective towers of interpreters☆16Updated 5 months ago
- Kanren with databases☆43Updated 8 months ago
- miniKanren with a first-order representation of the search space☆16Updated 8 months ago
- A compiler and run-time system to compile and run Curry programs as Go programs☆24Updated 4 months ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated last year
- Manfred von Thun's Programming Language Joy☆16Updated 2 months ago
- A language for writing command line interfaces in Racket☆15Updated 3 years ago
- CLP(SMT) on top of miniKanren☆35Updated 3 years ago
- Boolean Constraint Solving in Prolog☆41Updated 3 months ago
- Library classes for the Twelf Proof System☆21Updated 4 years ago
- User Interfaces for Programming Languages: The Compendium☆27Updated 4 years ago
- ☆29Updated 2 years ago