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
• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆25Updated 9 months ago
• seveno4 / EURISKO
  ☆48Updated 11 months ago
• awto / chr2sql
  CHR2 to SQL conversion
  ☆13Updated 9 years ago
• mthom / scryer-shen
  ☆46Updated 4 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
• harp-lab / slog-lang1
  Slog 1.0
  ☆39Updated 9 months ago
• madvorak / read-lean
  How to read Lean
  ☆17Updated last month
• OriRoth / flunct
  A functional fluent API generator
  ☆34Updated 2 years ago
• rjnw / sham
  A DSL for runtime code generation in racket
  ☆67Updated 2 years ago
• abuseofnotation / termlisp
  A lisp dialect based on pattern matching and term rewriting
  ☆84Updated 5 months ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆68Updated 2 weeks ago
• nirvanasupermind / owlet
  Programming language for ternary computing
  ☆30Updated 4 years ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆31Updated last year
• aarroyoc / doclog
  DocLog builds documentation from source code in Prolog
  ☆26Updated 2 months ago
• medovina / natty
  Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…
  ☆35Updated last week
• BobMcDear / trap
  Autoregressive transformers in APL
  ☆99Updated last month
• stylewarning / quantum-interpreter
  A tiny, self-contained, general-purpose quantum interpreter.
  ☆48Updated last year
• flix / book
  The Flix Programming Book
  ☆17Updated last week
• shriram / racket-embed-images-in-source-text
  Reader to enable embedding images in source files as text
  ☆18Updated 3 months ago
• llaisdy / PrologInfo
  Prolog, Datalog, languages, resources, and beyond!
  ☆30Updated 4 months ago
• namin / lms-black
  purple: compiling a reflective language
  ☆32Updated 5 months ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆42Updated 2 years ago
• engboris / stellogen
  An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax
  ☆99Updated last week
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆33Updated 2 months ago
• prologbyexample / code
  ☆29Updated 2 years ago
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 7 months ago
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆30Updated 2 years ago
• Anniepoo / swiplchrtut
  Tutorial for the CHR system
  ☆16Updated 4 years ago
• davidar / stochaskell
  ☆13Updated 2 years ago