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 last year
• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆25Updated 8 months 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
• seveno4 / EURISKO
  ☆46Updated 10 months ago
• mthom / scryer-shen
  ☆45Updated 3 months ago
• harp-lab / slog-lang1
  Slog 1.0
  ☆38Updated 8 months ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆42Updated 2 years ago
• davidar / stochaskell
  ☆13Updated 2 years ago
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 6 months ago
• awto / chr2sql
  CHR2 to SQL conversion
  ☆13Updated 9 years ago
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆33Updated last month
• shriram / racket-embed-images-in-source-text
  Reader to enable embedding images in source files as text
  ☆18Updated 2 months ago
• BobMcDear / trap
  Autoregressive transformers in APL
  ☆100Updated last week
• harp-lab / gdlog
  ☆79Updated 3 months ago
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆119Updated last week
• prologbyexample / code
  ☆28Updated last year
• namin / lms-black
  purple: compiling a reflective language
  ☆32Updated 4 months ago
• mighty-gerbils / gerbil-persist
  Persistence of concurrent activities for Gerbil Scheme
  ☆50Updated 4 months ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆31Updated last year
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆17Updated 2 weeks ago
• namin / biohacker
  debugging biological networks to reach coherence, completeness and consistency
  ☆46Updated last year
• aarroyoc / teruel
  Template engine for ISO Prolog, based on Jinja and Tera
  ☆15Updated last year
• HnimNart / deeplearning
  ☆52Updated 4 years ago
• breck7 / research
  I moved this folder. Keeping this repo up for archival purposes only.
  ☆17Updated 8 months ago
• dev-null321 / RacoGrad
  Deep learning library
  ☆33Updated 2 months ago
• llaisdy / PrologInfo
  Prolog, Datalog, languages, resources, and beyond!
  ☆30Updated 3 months ago
• flix / book
  The Flix Programming Book
  ☆17Updated this week
• justinmeiners / why-train-when-you-can-optimize
  Learn multi-variable optimization by creating a drawing assistant. No deep learning required!
  ☆27Updated 2 years ago
• rjnw / sham
  A DSL for runtime code generation in racket
  ☆67Updated 2 years ago
• Anniepoo / swiplchrtut
  Tutorial for the CHR system
  ☆16Updated 4 years ago