Alternatives and similar repositories for Interpreter-in-Prolog

Users that are interested in Interpreter-in-Prolog are comparing it to the libraries listed below

• serprex / Rue
  lang Thue + Regex
  ☆14Updated 3 years ago
• lee-naish / Pawns
  Pawns functional/imperative programming language compiler etc
  ☆9Updated 2 months ago
• ptarau / binprolog
  Fast, simplified WAM-based Prolog system
  ☆22Updated last month
• tau-prolog / draw-derivation-trees
  A tool for drawing derivation trees of Tau Prolog
  ☆11Updated 3 years ago
• Qqwy / Jux
  ☆14Updated 4 years ago
• SWI-PrologTeamLudumDare32 / LudumDare
  Our Ludum Dare entry
  ☆20Updated 8 years ago
• triska / clpb
  Boolean Constraint Solving in Prolog
  ☆43Updated 6 months ago
• adamrk / scheme2luac
  A Scheme compiler to Lua bytecode
  ☆22Updated 8 years ago
• jeapostrophe / lux
  lux - a simple library for creating real-time graphical apps
  ☆30Updated 3 years ago
• dpiponi / SASL
  A simple and educational compiler for the SASL programming language
  ☆23Updated 7 years ago
• namin / mk-on-smt
  miniKanren for search, SMT for solving
  ☆13Updated 5 years ago
• guitarvydas / wam
  A WAM (Warren Abstract Machine for Prolog) written in Common Lisp
  ☆13Updated 6 years ago
• JanWielemaker / ffi
  SWI-Prolog dynamic C interface
  ☆17Updated 9 months ago
• theoremprover-museum / prover9
  Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
  ☆16Updated 7 years ago
• andrewtron3000 / embedded-ml
  A compiler for a Standard-ML like language that generates code suitable for embedded computers.
  ☆10Updated last year
• hayato-hashimoto / jit-scheme
  JIT compiler of scheme
  ☆15Updated 13 years ago
• bwkimmel / secd
  SECD Machine Implementation in x86 Assembly
  ☆24Updated 11 years ago
• imrehg / ypsilon
  The implementation of R6RS Scheme Programming Language for real-time applications. (Forked from GoogleCode)
  ☆22Updated 3 years ago
• wolfgangj / okami
  okami is an application development platform
  ☆37Updated 10 months ago
• mndrix / prolog_library_ideas
  Random ideas about libraries for Prolog
  ☆12Updated 8 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆31Updated 2 years ago
• friguzzi / matrix
  Operations with matrices, SWI pack
  ☆13Updated last year
• Wodan58 / Moy
  Stackless Joy
  ☆23Updated 2 months ago
• namin / clpsmt-miniKanren
  CLP(SMT) on top of miniKanren
  ☆38Updated 3 years ago
• npe9 / aop
  Art of Prolog Code
  ☆36Updated 5 years ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated last year
• irori / advent-unlambda
  A faithful implementation of the Colossal Cave Adventure in Unlambda
  ☆17Updated 5 years ago
• kragen / urscheme
  ☆21Updated 12 years ago
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆28Updated 13 years ago
• stassa / metasplain
  Explainable machine learning
  ☆17Updated 6 years ago