Alternatives and similar repositories for PrologCourse

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

• halgari / jit-playground
  A translation of the PyPy prolog jit tutorials from Prolog to Clojure
  ☆18Updated 11 years ago
• squaremo / lisp-in-small-pieces
  Code written while working through the book LISP in Small Pieces
  ☆28Updated 11 years ago
• dubrousky / mockmma
  ☆30Updated 7 years ago
• briangu / OPS5
  OPS5 Production System
  ☆57Updated 12 years ago
• poeschko / Mathador
  a simplistic implementation of the Mathematica language in C++ (not maintained anymore, consider using Mathics instead)
  ☆38Updated 13 years ago
• aldorlang / aldor
  The Aldor Programming Language
  ☆34Updated 5 months ago
• smarr / CSOM
  CSOM - C implementation of the Simple Object Machine Smalltalk
  ☆11Updated 4 years ago
• Anniepoo / weblog
  Web Framework for SWI-Prolog
  ☆43Updated 9 years ago
• mndrix / regex
  Regular expressions for Prolog
  ☆17Updated 8 years ago
• racket / mzscheme
  ☆12Updated 2 months ago
• SOM-st / RPySOM
  RPySOM - The Simple Object Machine Smalltalk implemented in RPython
  ☆15Updated 4 years ago
• Anniepoo / swiplclpfd
  clp(fd) tutorial
  ☆20Updated last year
• AmziLS / KnowledgeWright
  Customizable Knowledge Engineering Tool
  ☆12Updated 9 years ago
• SOM-st / PySOM
  PySOM - The Simple Object Machine Smalltalk implemented in Python
  ☆27Updated 2 weeks ago
• Frege / frege-interpreter
  Frege Interpreter
  ☆15Updated 5 years ago
• triska / letswicrypt
  Prolog HTTPS Servers
  ☆37Updated 7 years ago
• raydac / jprol
  Yet another Java based Prolog engine
  ☆30Updated 2 weeks ago
• JetBrains / emacs4ij
  Implementation of Emacs Lisp and runtime environment for IntelliJ Platform
  ☆45Updated 7 years ago
• pkrumins / the-little-prover
  All code examples from "The Little Prover" book
  ☆23Updated 9 years ago
• nineties / Choco
  MinCaml Compiler implementation by Haskell
  ☆11Updated 13 years ago
• jtauber / pykanren
  an attempt to implement miniKanren and microKanren in Python
  ☆53Updated 11 years ago
• mflatt / scratchy
  Demonstration of implementing a language in Racket
  ☆58Updated 11 years ago
• marijnh / uscheme
  Unlikely Scheme: A small Scheme interpreter
  ☆22Updated 14 years ago
• jsoftware / qtide
  Qt IDE
  ☆45Updated last month
• smarr / SOM
  SOM - Simple Object Machine
  ☆23Updated this week
• rain-1 / chez-match
  A pattern match macro for chez-scheme
  ☆18Updated 8 years ago
• swi-to-yap / swicli
  SWI-Prolog 2-Way interface to Commmon Language Interface
  ☆13Updated 8 years ago
• raydac / java-prolog-parser
  Java based Edinburgh Prolog parser
  ☆11Updated 3 weeks ago
• grammarware / slps
  Software Language Processing Suite
  ☆47Updated 3 years ago
• SWI-Prolog / packages-chr
  CHR: Leuven Constraint Handling Rules
  ☆26Updated 3 weeks ago