Alternatives and similar repositories for prologsolvers

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

• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆29Updated last year
• davidar / stochaskell
  ☆13Updated 2 years ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated 2 years ago
• awto / chr2sql
  CHR2 to SQL conversion
  ☆13Updated 9 years ago
• mthom / scryer-shen
  ☆53Updated last month
• HnimNart / deeplearning
  ☆53Updated 4 years ago
• fraware / leanverifier
  Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …
  ☆63Updated 3 months ago
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆18Updated 3 months ago
• philzook58 / duckegg
  An experiment in using DuckDB for a datalog / egg
  ☆26Updated last year
• duasfl8r / propagator.py
  A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator
  ☆35Updated 12 years ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆43Updated 3 years ago
• harp-lab / slog-lang1
  Slog 1.0
  ☆43Updated last year
• BobMcDear / trap
  Autoregressive transformers in APL
  ☆101Updated last month
• harp-lab / gdlog
  ☆82Updated 8 months ago
• OriRoth / flunct
  A functional fluent API generator
  ☆34Updated 2 years ago
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 10 months ago
• engboris / stellogen
  An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax
  ☆107Updated this week
• aarroyoc / doclog
  DocLog builds documentation from source code in Prolog
  ☆27Updated 5 months ago
• aarroyoc / postgresql-prolog
  A Prolog library to connect to PostgreSQL databases
  ☆99Updated last year
• davidad / chit
  (early experiments toward) a version-control system for structured data
  ☆17Updated last year
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• llaisdy / PrologInfo
  Prolog, Datalog, languages, resources, and beyond!
  ☆31Updated 7 months ago
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆128Updated 4 months ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆33Updated last year
• flix / book
  The Flix Programming Book
  ☆18Updated this week
• hwayne / tla-graphing-demo
  A demo of analyzing a TLA+ state graph
  ☆29Updated 2 years ago
• yuxi-liu-wired / cyc-archive
  An archive of material related to the Cyc project.
  ☆23Updated 2 months ago
• alt-romes / reference-counting
  Reference counting with linear types
  ☆31Updated 11 months ago
• frankmcsherry / datatoad
  An interactive Datalog
  ☆33Updated this week
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆29Updated 7 years ago