naveensundarg / proverLinks
☆11Updated 2 years ago
Alternatives and similar repositories for prover
Users that are interested in prover are comparing it to the libraries listed below
Sorting:
- A CLOS implementation of an in memory hypergraph database and semantic networks.☆11Updated 4 years ago
- SNARK - SRI's New Automated Reasoning Kit☆19Updated 4 months ago
- Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams☆19Updated 3 years ago
- Yes, Erlang in SWI-Prolog!☆11Updated 7 years ago
- Choiceless grapher: a common-lisp diagram maker for consequences of the Axiom of Choice. This is a mirror of https://gitlab.common-lisp.n…☆28Updated last month
- miniKanren variant with a functional syntax, expressing disjunction via pattern matching☆17Updated 5 years ago
- CHR: Leuven Constraint Handling Rules☆26Updated 3 weeks ago
- Explainable machine learning☆17Updated 6 years ago
- A WAM (Warren Abstract Machine for Prolog) written in Common Lisp☆13Updated 6 years ago
- Benoit Desouter's library for tabling on delimited continuations☆9Updated 9 years ago
- Extended DCG syntax for Prolog by Peter Van Roy☆21Updated 7 years ago
- A logic programming library for Common Lisp.☆62Updated 4 years ago
- A Declarative Theorem Prover for First-Order Classical Logic☆28Updated last year
- Apply and compose functions in Prolog☆19Updated 8 years ago
- Generating and managing callbacks from C into Heaven (Lisp).☆12Updated 5 years ago
- An Inference Engine based on Propositional Calculus written in Common Lisp☆46Updated this week
- Datalog implemented in minikanren☆24Updated 7 years ago
- Common Interface to Boolean Satisfiability Solvers from Common Lisp☆14Updated 3 years ago
- Lisp-based OWL Full Processor on top of Common Lisp Object System (CLOS), See http://www-kasm.nii.ac.jp/~koide/SWCLOS2-en.htm☆17Updated 6 years ago
- Implementation of Petri nets in Common Lisp☆25Updated 5 years ago
- Port of Cyc to Common Lisp☆22Updated 4 years ago
- Common Interface to ISO Prolog implementations from Common Lisp☆34Updated 3 years ago
- A repackaged version of the Kenzo program by Francis Sergeraert and collaborators.☆53Updated 5 months ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated last year
- Natural language construction grammar parser☆10Updated 10 years ago
- Verified decision procedures for modal logics in Lean☆12Updated 5 years ago
- Common Lisp programmable version of LarKC/OpenCYC (And soon Prolog)☆16Updated 2 years ago
- Prolog implementation of microKanren☆43Updated 10 years ago
- Yet Another Classical planning plan validator written in modern Common Lisp☆11Updated 3 years ago
- An embedded dialect of the OMeta language for rapidly developing compilers and code analysis tools.☆15Updated 10 years ago