Alternatives and similar repositories for the-power-of-prolog

Users that are interested in the-power-of-prolog are comparing it to the libraries listed below

• mthom / scryer-prolog
  A modern Prolog implementation written mostly in Rust.
  ☆2,239Updated last week
• klaudiosinani / awesome-prolog
  Curated list of Prolog packages and resources
  ☆537Updated 2 years ago
• Mercury-Language / mercury
  The Mercury logic programming system.
  ☆948Updated this week
• tau-prolog / tau-prolog
  An open source Prolog interpreter in JavaScript
  ☆608Updated 2 years ago
• LogtalkDotOrg / logtalk3
  Logtalk - declarative object-oriented logic programming language
  ☆451Updated this week
• hwayne / lets-prove-leftpad
  Proving leftpad correct two-dozen different ways
  ☆674Updated last month
• SWI-Prolog / swipl-devel
  SWI-Prolog Main development repository
  ☆1,076Updated last week
• webyrd / Barliman
  Prototype smart text editor
  ☆1,064Updated 2 months ago
• triska / clpfd
  Constraint Logic Programming over Finite Domains
  ☆182Updated 5 years ago
• mozart / mozart2
  Mozart Programming System v2
  ☆583Updated 3 months ago
• the-little-typer / pie
  The Pie language, which accompanies The Little Typer by Friedman and Christiansen
  ☆715Updated 3 years ago
• vekatze / neut
  A programming language with static memory management based on λ-calculus
  ☆1,004Updated this week
• jart / sectorlisp
  Bootstrapping LISP in a Boot Sector
  ☆1,401Updated 6 months ago
• factor / factor
  Factor programming language
  ☆1,714Updated this week
• coalton-lang / coalton
  Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
  ☆1,328Updated 3 weeks ago
• SWI-Prolog / swish
  SWI-Prolog for SHaring: a SWI-Prolog web IDE
  ☆526Updated last month
• plfa / plfa.github.io
  An introduction to programming language theory in Agda
  ☆1,429Updated last week
• Anniepoo / prolog-examples
  Some simple examples for new Prolog programmers
  ☆604Updated 2 years ago
• jsoftware / jsource
  J engine source mirror
  ☆693Updated this week
• andrejbauer / plzoo
  Programming Languages Zoo
  ☆1,498Updated 11 months ago
• dundalek / awesome-lisp-languages
  A list of Lisp-flavored programming languages
  ☆787Updated 7 months ago
• michaelt / martin-lof
  papers of Per Martin Löf
  ☆782Updated last year
• CakeML / cakeml
  CakeML: A Verified Implementation of ML
  ☆1,047Updated last week
• MLton / mlton
  The MLton repository
  ☆1,013Updated this week
• dtonhofer / prolog_notes
  Some notes taken while working on Prolog
  ☆185Updated last year
• Co-dfns / Co-dfns
  High-performance, Reliable, and Parallel APL
  ☆745Updated last week
• ciao-lang / ciao
  Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
  ☆304Updated 6 months ago
• polyml / polyml
  Poly/ML
  ☆504Updated 2 weeks ago
• mirth-lang / mirth
  Compiler for the Mirth programming language.
  ☆466Updated 2 weeks ago
• lexi-lambda / hackett
  WIP implementation of a Haskell-like Lisp in Racket
  ☆1,175Updated last year