tammet / gkcLinks
A reasoning system for large knowledge bases.
☆30Updated 5 months ago
Alternatives and similar repositories for gkc
Users that are interested in gkc are comparing it to the libraries listed below
Sorting:
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated last year
- ☆53Updated 2 weeks ago
- LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 90's☆11Updated last year
- Top-down interpreter for ASP programs with Constraints☆31Updated 6 months ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆27Updated last year
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆53Updated last year
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆47Updated last month
- The goal is to help studying logic and solvers by providing easy-to-use, pure browser-based javascript tools for both full classical pred…☆72Updated 4 years ago
- Verified decision procedures for modal logics in Lean☆12Updated 4 years ago
- CLP(BNR) module for SWI-Prolog☆44Updated 3 weeks ago
- SWI Prolog library to interface to the GPT API☆19Updated last year
- Polynomial-time Meta-Interpretive Learning☆127Updated 3 months ago
- C. Hocquette and A. Cropper, Relational program synthesis with numerical reasoning, AAAI23.☆15Updated 2 years ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆33Updated last month
- ☆142Updated this week
- Python interface for SWI-Prolog☆49Updated last month
- Classical CHAT80 NLP system for Prolog☆22Updated 3 months ago
- top-down interpreter for ASP programs with constraints☆17Updated 2 years ago
- Pedagogical first-order prover in Python☆75Updated this week
- Fast, simplified WAM-based Prolog system☆22Updated 3 weeks ago
- ☆19Updated 2 years ago
- CHR: Leuven Constraint Handling Rules☆26Updated last month
- Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)☆58Updated 3 years ago
- Metamath verifier in Python☆39Updated last year
- LogicMOO Natural Language Understanding Kit Unified into Prolog☆13Updated 3 years ago
- Lean 4 Metamath verifier☆18Updated last week
- Source of metamath book☆48Updated last year
- A simple Prolog API for the Z3 constraint solver☆15Updated 7 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.☆29Updated 7 years ago