Alternatives and similar repositories for prolog

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

• Anniepoo / swipldcgtut
  A tutorial for DCG's in swi-Prolog
  ☆35Updated 4 years ago
• mflatt / scratchy
  Demonstration of implementing a language in Racket
  ☆58Updated 11 years ago
• alhassy / PrologCheatSheet
  Basics of relational programming with Prolog —PROgramming in LOGic ^_^
  ☆74Updated 5 years ago
• Dyalog / dyalog-jupyter-notebooks
  Jupyter notebooks for Dyalog APL
  ☆45Updated last year
• LearnPrologNow / lpn
  Learn Prolog Now LaTeX sources
  ☆101Updated 3 years ago
• SquareBracketAssociates / PharoByExample9
  The version of Pharo by Example for Pharo 90
  ☆34Updated last year
• prologbyexample / code
  ☆31Updated 2 years ago
• npe9 / aop
  Art of Prolog Code
  ☆36Updated 6 years ago
• Dyalog / Jarvis
  APL-based web service framework supporting JSON or REST
  ☆37Updated 2 weeks ago
• simply-logical / simply-logical
  Online, interactive edition of the "Simply Logical" Prolog textbook
  ☆169Updated last year
• exercism / racket
  Exercism exercises in Racket.
  ☆46Updated 2 weeks ago
• prathyvsh / lambda-calculus
  Guide elucidating Lambda Calculus
  ☆16Updated 4 years ago
• racket / racket-lang-org
  ☆73Updated 3 weeks ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆34Updated last month
• micahcantor / racket-lox
  An implementation of the Lox language in Racket.
  ☆35Updated 2 years ago
• Anniepoo / swiplwebtut
  A tutorial for the swipl web framework
  ☆114Updated 4 years ago
• racket / gui
  ☆68Updated 2 weeks ago
• tsoding / wacket
  Racket to WebAssembly "compiler".
  ☆33Updated 5 years ago
• euhmeuh / wasm-adventure
  My adventure into the marvelous world of Web Assembly
  ☆73Updated 7 years ago
• wouterbeek / prolog_library_collection
  A collection of Prolog libraries.
  ☆88Updated last year
• Anniepoo / weblog
  Web Framework for SWI-Prolog
  ☆43Updated 9 years ago
• edwinb / idris-lang.org
  Idris web site
  ☆17Updated last year
• rusini / manool
  Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…
  ☆64Updated last week
• aarroyoc / doclog
  DocLog builds documentation from source code in Prolog
  ☆31Updated last week
• triska / bitcoinolog
  Reason about Bitcoin addresses with Prolog
  ☆23Updated last year
• racket / datalog
  ☆49Updated last month
• gregr / dbKanren
  Kanren with databases
  ☆44Updated last year
• webyrd / scheme-primer
  Interactive Scheme Primer, written in Scheme.
  ☆22Updated 6 months ago
• pharo-ai / awesome-pharo-ml
  List of projects, books, booklets, papers, and applications related to machine learning, AI, data science in Pharo
  ☆69Updated 4 years ago
• nuprl / website
  Source for PRL website
  ☆18Updated last week