Alternatives and similar repositories for pyprolog

Users that are interested in pyprolog are comparing it to the libraries listed below

• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆29Updated last week
• RdR1024 / prolog2gpt
  SWI Prolog library to interface to the GPT API
  ☆19Updated last year
• wouterbeek / prolog_graphviz
  A library for visualizing graphs in Prolog.
  ☆17Updated 10 months ago
• SWI-Prolog / packages-swipy
  Python interface for SWI-Prolog
  ☆49Updated 2 weeks ago
• ai4reason / ATP_Proofs
  Interesting ATP Proofs
  ☆13Updated 3 years ago
• fnogatz / dcg4pt
  Extend Definite Clause Grammars for Prolog by the corresponding parse tree
  ☆11Updated 2 years ago
• acharal / wam
  A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.
  ☆20Updated 5 years ago
• ai4reason / Prover9
  Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
  ☆53Updated last year
• fnogatz / plammar
  A Prolog grammar written in Prolog, for parsing and serialising Prolog code.
  ☆14Updated 3 years ago
• ciao-lang / ciaopp
  The Ciao Preprocessor
  ☆11Updated 3 weeks ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated last month
• metamath / metamath-book
  Source of metamath book
  ☆48Updated last year
• SWI-Prolog / packages-mqi
  Machine Query Interface
  ☆19Updated 2 weeks ago
• nathanael-fijalkow / DeepSynth
  General-purpose program synthesiser
  ☆46Updated 8 months ago
• dwhalen / holophrasm
  Holophrasm: a neural Automated Theorem Prover for higher-order logic
  ☆55Updated 5 years ago
• trishullab / copra
  COPRA: An in-COntext PRoof Agent which uses LLMs like GPTs to prove theorems in formal languages.
  ☆62Updated last month
• tammet / gkc
  A reasoning system for large knowledge bases.
  ☆31Updated 6 months ago
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆48Updated 3 weeks ago
• UCSD-PL / proverbot9001
  ☆42Updated 5 months ago
• pchampio / othello-prolog
  A fully functional Othello (Reversi) game, with several AIs, made in prolog for swipl.
  ☆16Updated last year
• triska / trs
  Reason about Term Rewriting Systems
  ☆16Updated 2 years ago
• SWI-Prolog / packages-plunit
  The SWI-Prolog Unit Testing library
  ☆9Updated 2 weeks ago
• eprover / eprover
  ☆143Updated last month
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆76Updated last month
• arcadio / data-logic
  Expert system with deductive querying and verification of constraints expressed in natural language
  ☆20Updated last month
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated last year
• chanind / tensor-theorem-prover
  First-order logic theorem prover supporting unification with approximate vector similarity
  ☆12Updated 2 years ago
• barakeel / oeis-synthesis
  ☆23Updated 2 weeks ago
• DorBernsohn / CodeLM
  A repo for code based language models
  ☆18Updated 4 years ago
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆71Updated 10 months ago