curiosity-driven / prolog-interpreter

Related projects ⓘ

Alternatives and complementary repositories for prolog-interpreter

• jldupont / prolog.js
  prolog interpreter in javascript
  ☆81Updated 7 years ago
• Pauan / Immutable
  Fast immutable data structures
  ☆33Updated 9 years ago
• abresas / prologjs
  Prolog interpreter for node.js
  ☆49Updated 11 years ago
• asolove / microScopeKanren
  A trace visualization of MicroKanren logic programs, in JS.
  ☆14Updated last year
• natefaubion / adt-simple
  Algebraic data types for JavaScript using Sweet.js macros
  ☆93Updated 10 years ago
• mattbierner / khepri
  ECMAScript derived programming language
  ☆67Updated 9 years ago
• awto / mfjs-logic
  Logical programming in JavaScript
  ☆15Updated 8 years ago
• the-grid / finitedomain
  Finite Domain Constraint Solver
  ☆28Updated 7 years ago
• shd101wyy / logic.js
  JavaScript implementation of modified version of miniKanren
  ☆31Updated 5 years ago
• bramstein / junify
  JUnify ― JavaScript Unification Library
  ☆50Updated 12 years ago
• crubier / Hexastore
  A fast, pure javascript triple store implementation, also useful as a graph database.
  ☆61Updated 3 years ago
• Sleepyowl / jsprolog
  A simple Prolog interpreter written with javascript
  ☆16Updated 7 years ago
• jostylr / literate-programming-lib
  The library component of literate-programming
  ☆36Updated 2 years ago
• witheve / eve-experiments
  The many experiments that have led to Eve in its current form
  ☆65Updated 5 years ago
• organix / tartjs
  Tiny Actor Run-Time in JavaScript
  ☆72Updated 7 years ago
• disnet / contracts.js
  Contract library for JavaScript
  ☆148Updated 9 years ago
• witheve / rfcs
  Request for Comments on changes to Eve
  ☆28Updated 8 years ago
• JanWielemaker / swi-prolog-wasm
  SWI-Prolog ported to WebAssembly
  ☆39Updated 6 years ago
• CRogers / pun
  A small library to enable pattern matching in javascript and coffeescript
  ☆345Updated 10 years ago
• davidchambers / nucleotides
  The building blocks of JavaScript programs
  ☆32Updated 6 years ago
• mitranim / jisp
  Lisp-style language that compiles to JavaScript
  ☆126Updated 5 months ago
• jdubray / sam-safe
  SAFE is the State-Action Fabric Element, a light weight container for node.js SAM implementations
  ☆42Updated 6 years ago
• codemix / contractual
  Unobtrusive, backwards compatible, syntactic sugar for Design by contract in JavaScript.
  ☆72Updated 8 years ago
• soney / constraintjs
  Constraint library for JavaScript
  ☆205Updated 4 years ago
• tommikaikkonen / zippa
  A generic zipper library for JavaScript
  ☆29Updated 8 years ago
• fwg / s-expression
  javascript s-expression parser with quote support
  ☆57Updated 3 years ago
• aksonov / statem
  Next-gen state management based on Harel Statechart and SCXML
  ☆36Updated 5 years ago
• KoryNunn / righto
  Lazy eventuals with support for CPS, Promises, and Iterators.
  ☆42Updated 3 years ago
• smallhelm / level-fact-base
  Store immutable facts and query them with datalog.
  ☆48Updated last year
• jostylr / litpro
  Minimal command line client for literate programming
  ☆26Updated 3 years ago