Alternatives and similar repositories for PrologCourse:

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

• mndrix / regex
  Regular expressions for Prolog
  ☆17Updated 7 years ago
• smarr / SOM
  SOM - Simple Object Machine
  ☆23Updated this week
• racket / mzscheme
  ☆12Updated 3 months ago
• PlanetAPL / a-plus
  The A+ programming language from Morgan Stanley
  ☆17Updated 10 years ago
• Anniepoo / swipldcgtut
  A tutorial for DCG's in swi-Prolog
  ☆34Updated 4 years ago
• racket / parser-tools
  ☆12Updated 3 months ago
• DanGrayson / Ktheory
  formalization of theorems of higher algebraic K-theory
  ☆8Updated 10 years ago
• dubrousky / mockmma
  ☆28Updated 7 years ago
• smarr / PySOM
  PySOM - The Simple Object Machine Smalltalk implemented in Python
  ☆17Updated this week
• Anniepoo / weblog
  Web Framework for SWI-Prolog
  ☆43Updated 9 years ago
• Apress / agile-ai-in-pharo
  Source Code for 'Agile Artificial Intelligence in Pharo' by Alexandre Bergel
  ☆32Updated 3 years ago
• Tipoca / intuitionistic
  Intuitionistic Programming Language
  ☆11Updated 11 years ago
• kevinwortman / Scheme-immutable-data-structures
  Immutable (a.k.a. persistent or pure-functional) deque, set, and map data structures in portable Scheme.
  ☆14Updated 4 years ago
• smarr / CSOM
  CSOM - C implementation of the Simple Object Machine Smalltalk
  ☆11Updated 3 years ago
• samer-- / prolog
  Prolog stuff
  ☆28Updated 5 years ago
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 4 years ago
• miniKanren / sokuza-kanren
  Oleg Kiselyov's minimal implementation of logic programming
  ☆23Updated 12 years ago
• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆28Updated last year
• DangerOnTheRanger / schego
  An R7RS implementation of Scheme written in Go
  ☆13Updated 6 years ago
• EiichiroIto / Gratch
  Block-style programming environment for tackling graph structure and graph algorithm, based on MIT Scratch.
  ☆18Updated 3 weeks ago
• webyrd / webmk
  miniKanren for interactive tutorials on the web
  ☆33Updated 7 years ago
• SOM-st / PySOM
  PySOM - The Simple Object Machine Smalltalk implemented in Python
  ☆26Updated 8 months ago
• aliceml / aliceml-alice
  Alice ML implementation
  ☆17Updated 2 years ago
• squaremo / lisp-in-small-pieces
  Code written while working through the book LISP in Small Pieces
  ☆27Updated 11 years ago
• rain-1 / chez-match
  A pattern match macro for chez-scheme
  ☆18Updated 7 years ago
• exercism / prolog
  Exercism exercises in Prolog.
  ☆30Updated last month
• thephoeron / qgame
  QGAME: Quantum Gate and Measurement Emulator, a quantum computer simulator
  ☆32Updated 8 years ago
• SOM-st / RPySOM
  RPySOM - The Simple Object Machine Smalltalk implemented in RPython
  ☆15Updated 4 years ago
• tioui / Eiffel_Game2
  A game library for EiffelStudio.
  ☆18Updated 3 months ago