Alternatives and similar repositories for prolog-interpreter

Users that are interested in prolog-interpreter are comparing it to the libraries listed below

• jldupont / prolog.js
  prolog interpreter in javascript
  ☆82Updated 8 years ago
• mattbierner / bennu
  Javascript Parser Combinator Library
  ☆148Updated 10 years ago
• bramstein / junify
  JUnify ― JavaScript Unification Library
  ☆50Updated 13 years ago
• mattbierner / khepri
  ECMAScript derived programming language
  ☆68Updated 10 years ago
• srikumarks / FD.js
  Finite domain constraint programming library in JS
  ☆62Updated 3 years ago
• harc / relax-overveld
  This is a library for "Overveld-style" constraint relaxation.
  ☆68Updated 2 years ago
• soney / constraintjs
  Constraint library for JavaScript
  ☆206Updated 4 years ago
• Sleepyowl / jsprolog
  A simple Prolog interpreter written with javascript
  ☆16Updated 8 years ago
• fnogatz / CHR.js
  Compile and run Constraint Handling Rules (CHR) in JavaScript
  ☆105Updated last year
• nuprl / Stopify
  A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.
  ☆177Updated last year
• mattbierner / hamt_plus
  Fork of HAMT with transactions and custom key types
  ☆52Updated 8 years ago
• crubier / Hexastore
  A fast, pure javascript triple store implementation, also useful as a graph database.
  ☆65Updated 4 years ago
• Gregoor / tofu
  Experiment in structural code editing
  ☆102Updated last year
• wjlewis / ramo
  miniKanren for JavaScript
  ☆27Updated 2 years ago
• joshcox / kanren
  Port of microKanren to JavaScript.
  ☆25Updated 3 years ago
• tommikaikkonen / zippa
  A generic zipper library for JavaScript
  ☆29Updated 9 years ago
• fwg / s-expression
  javascript s-expression parser with quote support
  ☆59Updated 4 years ago
• meteor / logic-solver
  ☆147Updated 5 years ago
• awto / mfjs-logic
  Logical programming in JavaScript
  ☆15Updated 9 years ago
• soney / interstate
  ☆53Updated 4 years ago
• disnet / contracts.js
  Contract library for JavaScript
  ☆147Updated 9 years ago
• squiggle-lang / squiggle-lang
  NO LONGER IN DEVELOPMENT
  ☆27Updated 9 years ago
• mattbierner / hamt
  Javascript Hash Array Mapped Trie
  ☆251Updated 3 years ago
• Azeirah / A-new-wave-of-programming
  A collection of related articles, experiments and demos about futuristic kinds of programming
  ☆166Updated 10 years ago
• JanWielemaker / swi-prolog-wasm
  SWI-Prolog ported to WebAssembly
  ☆39Updated 7 years ago
• luciotato / LiteScript
  Compile-to-js and compile-to-c language, highly readable, keep it simple philosophy
  ☆148Updated 4 years ago
• jgalenson / research.js
  Share your research online by compiling it to JavaScript!
  ☆23Updated 10 years ago
• natefaubion / adt-simple
  Algebraic data types for JavaScript using Sweet.js macros
  ☆93Updated 11 years ago
• levjj / esverify
  ECMAScript verification with SMT solvers
  ☆124Updated last year
• fantasyland / fantasy-lenses
  Composable, immutable getters and setters.
  ☆109Updated 9 years ago