Alternatives and similar repositories for prologsolvers

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

• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆21Updated 2 years ago
• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆30Updated last month
• fraware / leanverifier
  Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …
  ☆69Updated 3 months ago
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆130Updated 9 months ago
• seveno4 / EURISKO
  ☆60Updated last year
• tatut / pgprolog
  PostgreSQL Prolog language handler
  ☆135Updated last year
• mthom / scryer-shen
  ☆56Updated 6 months ago
• yuxi-liu-wired / cyc-archive
  An archive of material related to the Cyc project.
  ☆30Updated 4 months ago
• ndrwnaguib / principia
  Rewriting Principia Mathematica in Lean
  ☆135Updated 2 months ago
• davidar / stochaskell
  ☆14Updated 2 years ago
• BobMcDear / trap
  Autoregressive transformers in APL
  ☆106Updated 2 months ago
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆204Updated last month
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆43Updated 3 years ago
• aarroyoc / postgresql-prolog
  A Prolog library to connect to PostgreSQL databases
  ☆105Updated last year
• HnimNart / deeplearning
  ☆53Updated 2 months ago
• bakaq / bakage
  An experimental package manager for Scryer Prolog
  ☆21Updated last week
• robsimmons / dusa
  A logic programming language that has features of both Datalog and answer set programming.
  ☆119Updated this week
• bollu / rete
  An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'
  ☆88Updated 5 years ago
• harp-lab / gdlog
  ☆88Updated last year
• mighty-gerbils / gerbil-persist
  Persistence of concurrent activities for Gerbil Scheme
  ☆56Updated last month
• argolab / dyna3
  Dyna v3 built using R-exprs in Clojure, https://matthewfl.com/phd
  ☆57Updated 8 months ago
• breck7 / research
  I moved this folder. Keeping this repo up for archival purposes only.
  ☆17Updated last year
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆36Updated 7 months ago
• abuseofnotation / termlisp
  A lisp dialect based on pattern matching and term rewriting
  ☆85Updated last year
• harp-lab / slog-lang1
  Slog 1.0
  ☆45Updated last year
• dcnorris / precautionary
  Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…
  ☆29Updated 3 years ago
• philzook58 / duckegg
  An experiment in using DuckDB for a datalog / egg
  ☆27Updated 2 years ago
• gregr / dbKanren
  Kanren with databases
  ☆44Updated last year
• ErgoAI / ErgoEngine
  The ErgoAI reasoning engine, an advanced object-oriented knowledge management system
  ☆42Updated 7 months ago
• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆30Updated last year