Alternatives and similar repositories for prolog_notes:

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

• triska / clpz
  Constraint Logic Programming over Integers
  ☆199Updated last year
• LPCIC / elpi
  Embeddable Lambda Prolog Interpreter
  ☆311Updated this 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.
  ☆302Updated 5 months ago
• trealla-prolog / trealla
  A compact, efficient Prolog interpreter written in plain-old C.
  ☆295Updated this week
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆120Updated 2 months ago
• didoudiaz / gprolog
  GNU Prolog
  ☆120Updated last month
• LogtalkDotOrg / logtalk3
  Logtalk - declarative object-oriented logic programming language
  ☆444Updated last week
• teyjus / teyjus
  An efficient implementation of the higher-order logic programming language Lambda Prolog
  ☆155Updated last year
• triska / clpfd
  Constraint Logic Programming over Finite Domains
  ☆179Updated 5 years ago
• ridgeworks / clpBNR
  CLP(BNR) module for SWI-Prolog
  ☆43Updated last month
• stefan-hoeck / idris2-tutorial
  ☆219Updated last month
• simply-logical / simply-logical
  Online, interactive edition of the "Simply Logical" Prolog textbook
  ☆145Updated 4 months ago
• SWI-Prolog / tabled-prolog-book
  Programming in Tabled Prolog by David S Warren
  ☆22Updated 5 years ago
• SWI-Prolog / sCASP
  Top-down interpreter for ASP programs with Constraints
  ☆31Updated 5 months ago
• jameshaydon / lawvere
  A categorical programming language with effects
  ☆277Updated 2 years ago
• astampoulis / makam
  The Makam Metalanguage
  ☆198Updated 2 years ago
• barry-jay-personal / tree-calculus
  Proofs in Coq for the book Reflective Programs in Tree Calculus
  ☆172Updated 3 years ago
• alhassy / PrologCheatSheet
  Basics of relational programming with Prolog —PROgramming in LOGic ^_^
  ☆74Updated 4 years ago
• caotic123 / PomPom-Language
  The cuteness implementation of a dependently typed language.
  ☆190Updated 2 years ago
• cedille / cedille
  Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
  ☆379Updated last year
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆158Updated 3 weeks ago
• SWI-Prolog / packages-swipy
  Python interface for SWI-Prolog
  ☆46Updated 2 weeks ago
• blynn / compiler
  The adventures of a Haskell compiler
  ☆225Updated 5 months ago
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆77Updated 2 years ago
• aarroyoc / doclog
  DocLog builds documentation from source code in Prolog
  ☆27Updated 4 months ago
• ott-lang / ott
  The Ott tool for writing definitions of programming languages and calculi
  ☆370Updated 4 months ago
• Wodan58 / Joy
  Manfred von Thun's Programming Language Joy
  ☆92Updated 3 months ago
• Attempto / APE
  Parser for Attempto Controlled English (ACE)
  ☆197Updated last year
• mlatu-lang / mlatu
  A declarative concatenative programming language
  ☆164Updated 6 months ago
• inpla / inpla
  Inpla: Interaction nets as a programming language (the current version)
  ☆300Updated 6 months ago