tammet / logictoolsLinks
The goal is to help studying logic and solvers by providing easy-to-use, pure browser-based javascript tools for both full classical predicate logic and propositional formulas.
☆74Updated 5 years ago
Alternatives and similar repositories for logictools
Users that are interested in logictools are comparing it to the libraries listed below
Sorting:
- Some fun examples of solving problems with symbolic execution☆116Updated 7 years ago
- A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)☆47Updated 11 years ago
- Amzi! Prolog: complete system to interpret, build, run and debug Prolog programs, but also embed and query them similar to databases.☆132Updated 4 years ago
- Compile and run Constraint Handling Rules (CHR) in JavaScript☆107Updated 2 years ago
- The best Prolog visualizer☆88Updated 3 years ago
- Constraint Logic Programming over Finite Domains☆188Updated 6 years ago
- Constraint Logic Programming over Integers☆210Updated 2 years ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆197Updated this week
- APL Compiler targeting a typed array intermediate language☆217Updated last year
- Art of Prolog Code☆36Updated 6 years ago
- Simple Prolog to JS transpiler☆20Updated 13 years ago
- setlX is an interpreter for the high level programming-language SetlX (set language extended).☆29Updated 4 years ago
- A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)☆126Updated 12 years ago
- A tutorial for DCG's in swi-Prolog☆35Updated 5 years ago
- CLP(BNR) module for SWI-Prolog☆44Updated 2 months ago
- PRolog Equation Solving System☆29Updated 9 years ago
- Automatically exported from code.google.com/p/ghilbert☆47Updated 8 years ago
- A simple Prolog API for the Z3 constraint solver☆15Updated 8 years ago
- Collapsing Towers of Interpreters☆93Updated 7 months ago
- A new logic programming language.☆175Updated 2 years ago
- A VS Code extension supporting for Picat language☆18Updated 7 years ago
- Pengine and Prolog scratchpad☆59Updated 5 months ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Updated last week
- Prolog implementation of microKanren☆44Updated 10 years ago
- Run SWI-Prolog in your browser using WebAssemply☆77Updated 3 years ago
- Javascript porting of Paul Tarau latest Prolog Engine architecture☆19Updated 7 years ago
- Metaprogramming framework for .net☆92Updated 6 years ago
- Extended DCG syntax for Prolog by Peter Van Roy☆21Updated 7 years ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆31Updated 8 years ago
- An ergonomic, mobile-first, Prolog playground!☆31Updated 3 years ago