Alternatives and similar repositories for PrologCourse:

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

• webyrd / webmk
  miniKanren for interactive tutorials on the web
  ☆33Updated 7 years ago
• kragen / urscheme
  ☆21Updated 11 years ago
• Anniepoo / weblog
  Web Framework for SWI-Prolog
  ☆43Updated 9 years ago
• pkrumins / the-little-prover
  All code examples from "The Little Prover" book
  ☆23Updated 9 years ago
• mndrix / regex
  Regular expressions for Prolog
  ☆17Updated 7 years ago
• marijnh / uscheme
  Unlikely Scheme: A small Scheme interpreter
  ☆21Updated 13 years ago
• thephoeron / qgame
  QGAME: Quantum Gate and Measurement Emulator, a quantum computer simulator
  ☆32Updated 8 years ago
• smarr / SOM
  SOM - Simple Object Machine
  ☆23Updated last month
• swi-to-yap / swicli
  SWI-Prolog 2-Way interface to Commmon Language Interface
  ☆13Updated 8 years ago
• smarr / CSOM
  CSOM - C implementation of the Simple Object Machine Smalltalk
  ☆11Updated 3 years ago
• AmziLS / KnowledgeWright
  Customizable Knowledge Engineering Tool
  ☆13Updated 8 years ago
• racket / mzscheme
  ☆12Updated last month
• poplog / poplog
  Poplog
  ☆21Updated 14 years ago
• rfindler / lindenmayer
  ☆25Updated 2 years ago
• Pascal-J / type-system-j
  adds an optional type system to J language
  ☆21Updated 9 years ago
• donaldsonjw / bigloo
  Bigloo Scheme Compiler
  ☆12Updated 9 years ago
• dubrousky / mockmma
  ☆30Updated 7 years ago
• LearnPrologNow / lpn-swish-proxy
  SWI-Prolog rewriting proxy server that includes SWISH in Learn Prolog Now
  ☆11Updated last year
• rtoy / cmucl
  This is a mirror of the official cmucl repo at gitlab.common-lisp.net
  ☆28Updated 7 months ago
• mflatt / scratchy
  Demonstration of implementing a language in Racket
  ☆58Updated 10 years ago
• samer-- / prolog
  Prolog stuff
  ☆28Updated 5 years ago
• SOM-st / PySOM
  PySOM - The Simple Object Machine Smalltalk implemented in Python
  ☆26Updated last month
• pluckyporcupine / fortress
  An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.
  ☆14Updated 2 years ago
• jasonhemann / miniKanren
  An outdated miniKanren implementation with a not-pairo constraint
  ☆30Updated 11 years ago
• wouterbeek / prolog_library_collection
  A collection of Prolog libraries.
  ☆88Updated 6 months ago
• mndrix / list_util
  Prolog list utility predicates
  ☆11Updated 6 years ago
• gregr / ina
  experimental computational medium and supporting tools
  ☆22Updated this week
• AmziLS / AmziProlog
  Amzi! Prolog: complete system to interpret, build, run and debug Prolog programs, but also embed and query them similar to databases.
  ☆119Updated 3 years ago
• squaremo / lisp-in-small-pieces
  Code written while working through the book LISP in Small Pieces
  ☆27Updated 11 years ago
• kimtg / ToyLisp
  A Simple Lisp Implementation in C. Based on Leo Howell's [Building LISP](http://www.lwh.jp/lisp/index.html) with bug fixes and enhancemen…
  ☆40Updated 10 years ago