Alternatives and similar repositories for mfjs-logic

Users that are interested in mfjs-logic are comparing it to the libraries listed below

• curiosity-driven / prolog-interpreter
  Simple prolog interpreter using ES6 generators
  ☆62Updated 10 years ago
• jldupont / prolog.js
  prolog interpreter in javascript
  ☆82Updated 8 years ago
• bramstein / junify
  JUnify ― JavaScript Unification Library
  ☆50Updated 13 years ago
• wjlewis / ramo
  miniKanren for JavaScript
  ☆27Updated 2 years ago
• smallhelm / level-fact-base
  Store immutable facts and query them with datalog.
  ☆48Updated 2 years ago
• soney / interstate
  ☆53Updated 4 years ago
• fwg / s-expression
  javascript s-expression parser with quote support
  ☆59Updated 4 years ago
• witheve / rfcs
  Request for Comments on changes to Eve
  ☆26Updated 9 years ago
• crubier / Hexastore
  A fast, pure javascript triple store implementation, also useful as a graph database.
  ☆65Updated 4 years ago
• thetrime / proscript
  A Javascript implementation of Prolog
  ☆16Updated 9 years ago
• dahjelle / pouch-datalog
  Datalog query engine for PouchDB.
  ☆24Updated 10 years ago
• mixu / datalog.js
  A trivial Datalog with top-down and bottom up evaluation written in Javascript to learn how Datalog evaluation works.
  ☆28Updated 12 years ago
• rla / prolog-target-js
  Simple Prolog to JS transpiler
  ☆20Updated 12 years ago
• luciotato / LiteScript
  Compile-to-js and compile-to-c language, highly readable, keep it simple philosophy
  ☆148Updated 5 years ago
• mattbierner / hamt_plus
  Fork of HAMT with transactions and custom key types
  ☆52Updated 8 years ago
• evanw / esoptimize
  A JavaScript AST optimizer
  ☆18Updated 12 years ago
• abresas / prologjs
  Prolog interpreter for node.js
  ☆49Updated 12 years ago
• mattbierner / bennu
  Javascript Parser Combinator Library
  ☆148Updated 10 years ago
• witheve / eve-experiments
  The many experiments that have led to Eve in its current form
  ☆64Updated 6 years ago
• CapelliC / hitchhicker-prolog
  Javascript porting of Paul Tarau latest Prolog Engine architecture
  ☆18Updated 6 years ago
• jpaulm / jsfbp
  FBP implementation written using JavaScript and node-fibers
  ☆122Updated 4 years ago
• shd101wyy / logic.js
  JavaScript implementation of modified version of miniKanren
  ☆34Updated 6 years ago
• nuprl / Stopify
  A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.
  ☆179Updated last year
• inikulin / esotope
  ECMAScript code generator on steroids
  ☆39Updated 10 years ago
• harc / constraint-based-spreadsheet
  ☆46Updated 2 years ago
• aslakhellesoy / automerge-codemirror
  CodeMirror integration with Automerge
  ☆33Updated 2 years ago
• freethenation / unify.js
  An Efficient JavaScript Unification Library
  ☆19Updated 10 years ago
• harc / nl-datalog
  Natural Language Datalog
  ☆134Updated 7 years ago
• soney / constraintjs
  Constraint library for JavaScript
  ☆205Updated 4 years ago
• mattbierner / khepri
  ECMAScript derived programming language
  ☆68Updated 10 years ago