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
• bramstein / junify
  JUnify ― JavaScript Unification Library
  ☆50Updated 13 years ago
• mattbierner / bennu
  Javascript Parser Combinator Library
  ☆147Updated 10 years ago
• awto / mfjs-logic
  Logical programming in JavaScript
  ☆15Updated 9 years ago
• harc / relax-overveld
  This is a library for "Overveld-style" constraint relaxation.
  ☆68Updated 2 years ago
• the-grid / finitedomain
  Finite Domain Constraint Solver
  ☆29Updated 8 years ago
• Sleepyowl / jsprolog
  A simple Prolog interpreter written with javascript
  ☆16Updated 8 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
• soney / constraintjs
  Constraint library for JavaScript
  ☆205Updated 4 years ago
• crubier / Hexastore
  A fast, pure javascript triple store implementation, also useful as a graph database.
  ☆65Updated 4 years ago
• jostylr / literate-programming-lib
  The library component of literate-programming
  ☆36Updated 3 years ago
• mattbierner / hamt
  Javascript Hash Array Mapped Trie
  ☆252Updated 3 years ago
• harc / moonchild
  A toolkit for experimenting with new kinds of programming interfaces.
  ☆198Updated 8 years ago
• disnet / contracts.js
  Contract library for JavaScript
  ☆148Updated 10 years ago
• erikolson186 / relational.js
  Implementation of the relational algebra
  ☆37Updated 8 years ago
• natefaubion / adt-simple
  Algebraic data types for JavaScript using Sweet.js macros
  ☆94Updated 11 years ago
• Gozala / reducers
  Library for higher-order manipulation of collections
  ☆179Updated 3 years ago
• soney / interstate
  ☆53Updated 4 years ago
• fwg / s-expression
  javascript s-expression parser with quote support
  ☆59Updated 4 years ago
• nuprl / Stopify
  A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.
  ☆179Updated last year
• wjlewis / ramo
  miniKanren for JavaScript
  ☆27Updated 2 years ago
• asolove / microScopeKanren
  A trace visualization of MicroKanren logic programs, in JS.
  ☆14Updated 2 years ago
• jostylr / literate-programming
  Creating programs from Markdown code blocks
  ☆138Updated 3 years ago
• codemix / contractual
  Unobtrusive, backwards compatible, syntactic sugar for Design by contract in JavaScript.
  ☆74Updated 9 years ago
• dyoo / js-numbers
  Javascript implementation of Scheme's numeric tower
  ☆30Updated 12 years ago
• ramda / ramda-logic
  ramda logic
  ☆44Updated last year
• mattbierner / hamt_plus
  Fork of HAMT with transactions and custom key types
  ☆52Updated 8 years ago
• squiggle-lang / squiggle-lang
  NO LONGER IN DEVELOPMENT
  ☆27Updated 9 years ago
• Gregoor / tofu
  Experiment in structural code editing
  ☆103Updated last year