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
  ☆95Updated this week
• prologbyexample / code
  ☆31Updated 2 years ago
• maude-lang / Maude
  Language based on Rewriting Logic
  ☆158Updated last week
• alloy-js / sterling
  Alloy with browser-based visualizations
  ☆30Updated 4 years ago
• kirkedal / rfun-interp
  Interpreter for the reversible functional language rFun
  ☆38Updated 7 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
• SWI-Prolog / tabled-prolog-book
  Programming in Tabled Prolog by David S Warren
  ☆22Updated 5 years ago
• jkoppel / ecta
  ☆37Updated last year
• stchang / macrotypes
  ☆138Updated 3 years ago
• wilbowma / llm-lang
  An LLM-first programming language.
  ☆33Updated 4 months ago
• curry-language / curry2go
  A compiler and run-time system to compile and run Curry programs as Go programs
  ☆38Updated 3 months ago
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆121Updated last month
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆36Updated 2 years ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆34Updated last week
• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆33Updated 4 months ago
• gteege / gentle-isabelle
  A gentle introduction to Isabelle and Isabelle/HOL
  ☆17Updated 10 months ago
• 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
• teyjus / teyjus
  An efficient implementation of the higher-order logic programming language Lambda Prolog
  ☆161Updated last year
• mthom / scryer-shen
  ☆58Updated 8 months ago
• gregr / dbKanren
  Kanren with databases
  ☆44Updated last year
• verse-lab / ego
  EGraphs in OCaml
  ☆80Updated 2 years ago
• leuschel / logen
  Offline partial evaluation system for Prolog written using the cogen approach
  ☆21Updated 9 years ago
• ocaml-gospel / gospel
  A tool-agnostic formal specification language for OCaml.
  ☆155Updated 2 months ago
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆165Updated last week
• mit-plv / rupicola
  Gallina to Bedrock2 compilation toolkit
  ☆65Updated last week
• PLTools / OCanren
  Statically typed embedding of miniKanren relational programming language into OCaml
  ☆121Updated last week
• astampoulis / makam
  The Makam Metalanguage
  ☆199Updated 2 years ago
• haslab / Electrum
  A model checker for relational first-order temporal specifications
  ☆29Updated 4 years ago