Alternatives and similar repositories for PrologInfo

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

• harp-lab / slog-lang1
  Slog 1.0
  ☆46Updated last year
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆94Updated 3 weeks ago
• alloy-js / sterling
  Alloy with browser-based visualizations
  ☆29Updated 4 years ago
• prologbyexample / code
  ☆31Updated 2 years ago
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆31Updated 8 years ago
• leuschel / logen
  Offline partial evaluation system for Prolog written using the cogen approach
  ☆21Updated 9 years ago
• gregr / dbKanren
  Kanren with databases
  ☆44Updated last year
• kirkedal / rfun-interp
  Interpreter for the reversible functional language rFun
  ☆38Updated 7 years ago
• jkoppel / ecta
  ☆37Updated last year
• maude-lang / Maude
  Language based on Rewriting Logic
  ☆156Updated last week
• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆33Updated 3 months ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆36Updated 2 years ago
• gteege / gentle-isabelle
  A gentle introduction to Isabelle and Isabelle/HOL
  ☆16Updated 9 months ago
• mthom / scryer-shen
  ☆57Updated 7 months ago
• theoremprover-museum / theoremprover-museum.github.io
  ☆56Updated 8 months ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆34Updated 2 months ago
• querycert / qcert
  Compilation and Verification of Data-Centric Languages
  ☆58Updated last year
• webyrd / normalization-by-evaluation
  Normalization-by-evaluation in miniKanren
  ☆25Updated 2 years ago
• TyGuS / suslik
  Synthesis of Heap-Manipulating Programs from Separation Logic
  ☆128Updated 2 years ago
• triska / clpb
  Boolean Constraint Solving in Prolog
  ☆48Updated last year
• mndrix / edcg
  Extended DCG syntax for Prolog by Peter Van Roy
  ☆21Updated 7 years ago
• PLTools / OCanren
  Statically typed embedding of miniKanren relational programming language into OCaml
  ☆121Updated 3 weeks ago
• SWI-Prolog / sCASP
  Top-down interpreter for ASP programs with Constraints
  ☆34Updated 6 months ago
• ocaml-gospel / gospel
  A tool-agnostic formal specification language for OCaml.
  ☆154Updated 3 weeks ago
• yzyzsun / CP-next
  The Next Generation of Compositional Programming
  ☆56Updated last week
• teyjus / teyjus
  An efficient implementation of the higher-order logic programming language Lambda Prolog
  ☆160Updated last year
• webyrd / midoriKanren
  Relational interpeter combining miniKanren-in-miniKanren and Scheme-in-miniKanren
  ☆19Updated 6 months ago
• SWI-Prolog / tabled-prolog-book
  Programming in Tabled Prolog by David S Warren
  ☆22Updated 5 years ago
• engboris / stellogen
  An experimental language exploring computation and meaning through term unification, with logic-agnostic types.
  ☆121Updated this week
• stchang / macrotypes
  ☆137Updated 3 years ago