alnkpa / sublimeprolog

Related projects ⓘ

Alternatives and complementary repositories for sublimeprolog

• cosmoharrigan / pyrolog
  Pyrolog: A Prolog interpreter written in Python using the PyPy translator toolchain. Clone of https://bitbucket.org/cfbolz/pyrolog
  ☆22Updated 10 years ago
• Duke-PL-Course / Prolog
  Example Problems and Assignments for Prolog
  ☆34Updated 11 years ago
• mndrix / mavis
  Optional types for Prolog
  ☆11Updated 6 years ago
• webyrd / webmk
  miniKanren for interactive tutorials on the web
  ☆32Updated 7 years ago
• SWI-Prolog / plweb
  SWI-Prolog web server sources for www.swi-prolog.org
  ☆16Updated last month
• rm-hull / wam
  Gradual WAM implementation using Hassan Aït-Kaci's tutorial reconstruction
  ☆26Updated 6 years ago
• MathHubInfo / Legacy-planetary
  Legacy: Planetary System is a math-enabled Web 3.0 information portal.
  ☆79Updated 8 years ago
• Anniepoo / weblog
  Web Framework for SWI-Prolog
  ☆41Updated 8 years ago
• wouterbeek / prolog_library_collection
  A collection of Prolog libraries.
  ☆87Updated 2 months ago
• yuanchenyang / coding-js
  Javascript interpreters featuring web workers
  ☆37Updated 8 years ago
• mndrix / func
  Apply and compose functions in Prolog
  ☆19Updated 8 years ago
• GrammaticalFramework / GF
  Archive of monolithic GF repository until 2018-07-25
  ☆189Updated 6 years ago
• aldorlang / aldor
  The Aldor Programming Language
  ☆33Updated 4 months ago
• Attempto / Clex
  Large lexicon for APE (~100,000 entries)
  ☆28Updated 6 years ago
• orchid-hybrid / scm--js
  scm->js
  ☆22Updated 9 years ago
• triska / letswicrypt
  Prolog HTTPS Servers
  ☆36Updated 6 years ago
• SOM-st / RPySOM
  RPySOM - The Simple Object Machine Smalltalk implemented in RPython
  ☆15Updated 3 years ago
• samer-- / prolog
  Prolog stuff
  ☆26Updated 5 years ago
• khueue / prolongo
  MongoDB Driver for Prolog
  ☆44Updated 6 years ago
• the-little-prover / the-little-prover.github.io
  ☆9Updated 8 years ago
• triska / ediprolog
  Emacs Does Interactive Prolog
  ☆37Updated last month
• pkrumins / the-reasoned-schemer
  All the logic programming code examples from the book "The Reasoned Schemer"
  ☆51Updated 14 years ago
• khueue / prolog-json
  JSON Parser for Prolog
  ☆16Updated 6 years ago
• noahvanes / slip.js
  A Scheme interpreter in asm.js
  ☆15Updated 7 years ago
• mndrix / jolog
  Concurrent and distributed Prolog via join patterns (join calculus)
  ☆11Updated 9 years ago
• namin / leanTAP
  A Declarative Theorem Prover for First-Order Classical Logic
  ☆28Updated 4 months ago
• friguzzi / cplint
  cplint is a suite of programs for reasoning with probabilistic logic programs
  ☆69Updated 9 months ago
• webyrd / probKanren
  Probabilistic miniKanren
  ☆61Updated 9 years ago
• jtauber / pykanren
  an attempt to implement miniKanren and microKanren in Python
  ☆53Updated 10 years ago
• miniKanren / Racket-miniKanren
  Canonical miniKanren implementation in Racket
  ☆84Updated 3 years ago