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
  ☆20Updated 2 years ago
• dcnorris / precautionary
  Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…
  ☆28Updated 3 years ago
• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆25Updated 9 months ago
• mthom / scryer-shen
  ☆45Updated 4 months ago
• harp-lab / slog-lang1
  Slog 1.0
  ☆38Updated 9 months ago
• OriRoth / flunct
  A functional fluent API generator
  ☆34Updated 2 years ago
• awto / chr2sql
  CHR2 to SQL conversion
  ☆13Updated 9 years ago
• namin / lms-black
  purple: compiling a reflective language
  ☆32Updated 4 months ago
• aarroyoc / doclog
  DocLog builds documentation from source code in Prolog
  ☆26Updated 2 months ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆42Updated 2 years ago
• davidar / stochaskell
  ☆13Updated 2 years ago
• seveno4 / EURISKO
  ☆48Updated 10 months ago
• HnimNart / deeplearning
  ☆52Updated 4 years ago
• namin / reflective-towers
  software archaeology of reflective towers of interpreters
  ☆15Updated 5 months ago
• alt-romes / reference-counting
  Reference counting with linear types
  ☆31Updated 8 months ago
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 7 months ago
• llaisdy / PrologInfo
  Prolog, Datalog, languages, resources, and beyond!
  ☆30Updated 4 months ago
• BobMcDear / trap
  Autoregressive transformers in APL
  ☆99Updated 3 weeks ago
• shriram / racket-embed-images-in-source-text
  Reader to enable embedding images in source files as text
  ☆18Updated 2 months ago
• axch / rules
  An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.
  ☆19Updated 11 months ago
• webyrd / normalization-by-evaluation
  Normalization-by-evaluation in miniKanren
  ☆24Updated 2 years ago
• harp-lab / gdlog
  ☆79Updated 4 months ago
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆18Updated 2 weeks ago
• webyrd / alphaKanren
  Nominal logic programming extensions to miniKanren, based on alphaProlog.
  ☆25Updated 11 years ago
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆29Updated 7 years ago
• tatut / pgprolog
  PostgreSQL Prolog language handler
  ☆131Updated 11 months ago
• engboris / stellogen
  An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax
  ☆97Updated this week
• duasfl8r / propagator.py
  A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator
  ☆34Updated 12 years ago
• abuseofnotation / termlisp
  A lisp dialect based on pattern matching and term rewriting
  ☆84Updated 5 months ago