AmziLS / PrologCourse

Related projects: ⓘ

• slburson / fset-java
  Java implementation of the FSet functional collections library.
  ☆10Updated 8 years ago
• poplog / poplog
  Poplog
  ☆21Updated 13 years ago
• LearnPrologNow / lpn-swish-proxy
  SWI-Prolog rewriting proxy server that includes SWISH in Learn Prolog Now
  ☆11Updated 6 months ago
• mndrix / regex
  Regular expressions for Prolog
  ☆17Updated 7 years ago
• Anniepoo / weblog
  Web Framework for SWI-Prolog
  ☆40Updated 8 years ago
• Whiley / WhileyTheoremProver
  The Whiley Theorem Prover (WyTP) is an automatic and interactive theorem prover designed to discharge verification conditions generated b…
  ☆8Updated 2 years ago
• pkrumins / the-reasoned-schemer
  All the logic programming code examples from the book "The Reasoned Schemer"
  ☆50Updated 14 years ago
• webyrd / webmk
  miniKanren for interactive tutorials on the web
  ☆32Updated 7 years ago
• briangu / OPS5
  OPS5 Production System
  ☆53Updated 11 years ago
• SWI-Prolog / packages-R
  SWI-Prolog to R Project for Statistical Computing interface
  ☆8Updated 9 years ago
• pkrumins / the-little-prover
  All code examples from "The Little Prover" book
  ☆23Updated 8 years ago
• AmziLS / distribution
  ☆23Updated this week
• kragen / urscheme
  ☆21Updated 11 years ago
• swi-to-yap / swicli
  SWI-Prolog 2-Way interface to Commmon Language Interface
  ☆12Updated 7 years ago
• AmziLS / KnowledgeWright
  Customizable Knowledge Engineering Tool
  ☆13Updated 8 years ago
• aldorlang / aldor
  The Aldor Programming Language
  ☆33Updated 2 months ago
• imrehg / ypsilon
  The implementation of R6RS Scheme Programming Language for real-time applications. (Forked from GoogleCode)
  ☆22Updated 2 years ago
• Pascal-J / type-system-j
  adds an optional type system to J language
  ☆21Updated 8 years ago
• grammarware / slps
  Software Language Processing Suite
  ☆45Updated 2 years ago
• aliceml / aliceml-alice
  Alice ML implementation
  ☆17Updated last year
• SWI-Prolog / packages-chr
  CHR: Leuven Constraint Handling Rules
  ☆23Updated last week
• halgari / jit-playground
  A translation of the PyPy prolog jit tutorials from Prolog to Clojure
  ☆18Updated 10 years ago
• akavel / sherman
  A clone of Joe Marshall's Rebol 1.0 to Scheme compiler.
  ☆17Updated 11 years ago
• rtoy / cmucl
  This is a mirror of the official cmucl repo at gitlab.common-lisp.net
  ☆28Updated 3 weeks ago
• AmziLS / AmziProlog
  Amzi! Prolog: complete system to interpret, build, run and debug Prolog programs, but also embed and query them similar to databases.
  ☆116Updated 2 years ago
• pluckyporcupine / fortress
  An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.
  ☆14Updated 2 years ago
• miniKanren / simple-miniKanren
  Simple miniKanren, with only ==, fresh, and conde. A good starting point for exploratory hacking.
  ☆41Updated last year
• SWI-Prolog / packages-xpce
  The graphics toolkit for SWI-Prolog
  ☆15Updated this week
• usethesource / vallang
  Generic immutable recursive data representation API targeted at source code models and more.
  ☆36Updated last week
• miniKanren / sokuza-kanren
  Oleg Kiselyov's minimal implementation of logic programming
  ☆24Updated 11 years ago