Alternatives and similar repositories for SWI-Prolog

Users that are interested in SWI-Prolog are comparing it to the libraries listed below

• Anniepoo / weblog
  Web Framework for SWI-Prolog
  ☆43Updated 10 years ago
• Anniepoo / swipldcgtut
  A tutorial for DCG's in swi-Prolog
  ☆35Updated 4 years ago
• squaremo / lisp-in-small-pieces
  Code written while working through the book LISP in Small Pieces
  ☆28Updated 11 years ago
• thephoeron / qgame
  QGAME: Quantum Gate and Measurement Emulator, a quantum computer simulator
  ☆33Updated 8 years ago
• pkrumins / the-reasoned-schemer
  All the logic programming code examples from the book "The Reasoned Schemer"
  ☆53Updated 15 years ago
• webyrd / 2012-scheme-workshop-quines-paper-code
  Code from the 2012 Scheme Workshop paper by Byrd, Holk, and Friedman, "miniKanren, Live and Untagged: Quine Generation via Relational Int…
  ☆15Updated 10 months ago
• alhassy / PrologCheatSheet
  Basics of relational programming with Prolog —PROgramming in LOGic ^_^
  ☆74Updated 5 years ago
• npe9 / aop
  Art of Prolog Code
  ☆36Updated 6 years ago
• namin / leanTAP
  A Declarative Theorem Prover for First-Order Classical Logic
  ☆28Updated last year
• n3mo / data-science
  Data science tooling for Racket
  ☆84Updated 6 years ago
• Anniepoo / swiplclpfd
  clp(fd) tutorial
  ☆21Updated last year
• logicmoo / wam_common_lisp
  Allow Lisp programs to stop implementing an ad-hoc, informally-specified, bug-ridden, slow implementation of less than half of ISO-Prolog…
  ☆102Updated 4 years ago
• jeffshrager / biobike
  ☆23Updated 10 years ago
• rfindler / lindenmayer
  ☆27Updated 2 years ago
• miniKanren / TheReasonedSchemer
  Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.
  ☆128Updated 12 years ago
• mndrix / microkanren-prolog
  Prolog implementation of microKanren
  ☆44Updated 10 years ago
• exercism / racket
  Exercism exercises in Racket.
  ☆46Updated last week
• AlexKnauth / debug
  a racket lang-extension for debugging, and a macro for inserting a debug-repl
  ☆36Updated 2 months ago
• miniKanren / Racket-miniKanren
  Canonical miniKanren implementation in Racket
  ☆86Updated 4 years ago
• haskell-lisp / yale-haskell
  HASKELL: Yale Haskell system written in Lisp
  ☆104Updated 11 years ago
• ryukinix / lisp-inference
  An Inference Engine based on Propositional Calculus written in Common Lisp
  ☆51Updated 2 months ago
• aldorlang / aldor
  The Aldor Programming Language
  ☆36Updated 10 months ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆34Updated 2 months ago
• melisgl / mgl-gpr
  MGL-GPR is a library of evolutionary algorithms such as Genetic Programming (evolving typed expressions from a set of operators and cons…
  ☆66Updated 6 months ago
• hinkelman / chez-docs
  Access Chez Scheme documentation from the REPL
  ☆30Updated 7 months ago
• LearnPrologNow / lpn
  Learn Prolog Now LaTeX sources
  ☆101Updated 3 years ago
• gilch / drython
  metaprogramming for don't-repeat-yourself Python
  ☆28Updated 6 years ago
• jasonhemann / miniKanren
  An outdated miniKanren implementation with a not-pairo constraint
  ☆30Updated 12 years ago
• fedeinthemix / chez-scmutils
  Port of the 'MIT Scmutils' library to Chez Scheme.
  ☆40Updated last year
• SWI-Prolog / plweb
  SWI-Prolog web server sources for www.swi-prolog.org
  ☆19Updated last month