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
  ☆25Updated last year
• harp-lab / slog-lang1
  Slog 1.0
  ☆43Updated 11 months 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
  ☆51Updated 2 weeks ago
• shriram / racket-embed-images-in-source-text
  Reader to enable embedding images in source files as text
  ☆19Updated 5 months ago
• OriRoth / flunct
  A functional fluent API generator
  ☆34Updated 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
• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆14Updated last year
• HnimNart / deeplearning
  ☆53Updated 4 years ago
• BobMcDear / trap
  Autoregressive transformers in APL
  ☆100Updated 3 weeks ago
• harp-lab / gdlog
  ☆82Updated 7 months ago
• abuseofnotation / termlisp
  A lisp dialect based on pattern matching and term rewriting
  ☆84Updated 7 months ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆42Updated 2 years ago
• barry-jay-personal / blog
  a general blog about my projects, or anything
  ☆18Updated 2 months ago
• fraware / leanverifier
  Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …
  ☆62Updated 2 months ago
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 10 months ago
• bugsbugsbux / understanding-j
  An introduction to the J programming language that gets to the point.
  ☆60Updated 2 weeks ago
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆18Updated 3 months ago
• jkoppel / ecta
  ☆35Updated last year
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆34Updated last month
• flix / book
  The Flix Programming Book
  ☆18Updated last week
• brismu / klesi
  Lojban ologs (categorical databases) using jq
  ☆24Updated 6 years ago
• aarroyoc / doclog
  DocLog builds documentation from source code in Prolog
  ☆27Updated 5 months ago
• llaisdy / PrologInfo
  Prolog, Datalog, languages, resources, and beyond!
  ☆31Updated 7 months ago
• seveno4 / EURISKO
  ☆57Updated last year
• aarroyoc / teruel
  Template engine for ISO Prolog, based on Jinja and Tera
  ☆17Updated last year
• rjnw / sham
  A DSL for runtime code generation in racket
  ☆67Updated 3 years ago
• stylewarning / quantum-interpreter
  A tiny, self-contained, general-purpose quantum interpreter.
  ☆48Updated last year
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆33Updated last year