Alternatives and similar repositories for ergo:

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

• friguzzi / cplint
  cplint is a suite of programs for reasoning with probabilistic logic programs
  ☆70Updated 2 months ago
• brandonwillard / kanren-old
  Logic Programming in Python
  ☆30Updated 3 years ago
• sebdumancic / pylo2
  Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.
  ☆85Updated 3 years ago
• msbrogli / sdm
  Implementation of Sparse Distributed Memory created by Pentti Kanerva in 1988.
  ☆48Updated 6 years ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated last year
• fargonauts / copycat
  Modern port of Melanie Mitchell's and Douglas Hofstadter's Copycat
  ☆118Updated 4 years ago
• Alex-Linhares / FARGonautica
  ☆113Updated last year
• metagol / metagol
  Metagol - an inductive logic programming system
  ☆201Updated 3 years ago
• baruchel / apl
  An implementation of the APL language in Python with the Numpy module
  ☆29Updated 8 years ago
• maths / PRESS
  PRolog Equation Solving System
  ☆29Updated 8 years ago
• oughtinc / patchwork
  Command-line recursive question-answering with immutable contexts and explicit data store
  ☆25Updated 6 years ago
• MNoorFawi / pytholog
  Python library that enables using prolog syntax and logic programming in python
  ☆118Updated last year
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆71Updated last year
• JanWielemaker / chat80
  Classical CHAT80 NLP system for Prolog
  ☆21Updated last year
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆63Updated 6 months ago
• potassco / telingo
  🕰️ A solver for temporal programs.
  ☆22Updated 6 months ago
• kovvalsky / LangPro
  Tableau-based Theorem Prover for Natural Logic and Language
  ☆116Updated 2 months ago
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆77Updated 6 months ago
• akkartik / am-utexas
  Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin
  ☆56Updated 16 years ago
• BartJongejan / Bracmat
  Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…
  ☆47Updated 2 weeks ago
• ridgeworks / clpBNR
  CLP(BNR) module for SWI-Prolog
  ☆39Updated last week
• droodman / Modeling-Human-Trajectory
  Code + data archive for "Modeling the Human Trajectory"
  ☆28Updated 6 months ago
• stassa / THELEMA
  My MSc thesis: a grammar induction system
  ☆15Updated 8 years ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated last month
• darius / pythological
  A MiniKanren in Python
  ☆35Updated 8 years ago
• duasfl8r / propagator.py
  A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator
  ☆34Updated 12 years ago
• alexpatel / lean-modal
  modal logic library for LEAN theorem prover
  ☆10Updated 7 years ago
• mirefek / geo_logic
  Tool for euclidean geometry aware of logic
  ☆82Updated 7 months ago
• Dyalog / pynapl
  Dyalog APL ←→ Python interface
  ☆77Updated 2 years ago