Alternatives and similar repositories for lotsawa

Users that are interested in lotsawa are comparing it to the libraries listed below

• fnogatz / CHR.js
  Compile and run Constraint Handling Rules (CHR) in JavaScript
  ☆105Updated 2 years ago
• mndrix / func
  Apply and compose functions in Prolog
  ☆19Updated 9 years ago
• ProjectMAC / propagators
  The propagator system
  ☆41Updated 9 years ago
• tca / veneer
  miniKanren in the browser
  ☆56Updated 9 years ago
• jeffreykegler / old_kollos
  The Kollos project [ARCHIVED]
  ☆30Updated 3 years ago
• SWI-Prolog / pengines
  Pengine and Prolog scratchpad
  ☆59Updated last month
• thetrime / proscript
  A Javascript implementation of Prolog
  ☆16Updated 9 years ago
• logicmoo / logicmoo_clif
  Base Forward Chaining Knowledge Base Maintenance System
  ☆19Updated 4 years ago
• tonyg / js-vau
  Kernel-like interpreter
  ☆25Updated last year
• ptarau / binprolog
  Fast, simplified WAM-based Prolog system
  ☆24Updated this week
• mndrix / microkanren-prolog
  Prolog implementation of microKanren
  ☆43Updated 10 years ago
• gregr / dbKanren
  Kanren with databases
  ☆44Updated last year
• softdevteam / eco
  Editor for language composition
  ☆58Updated 2 years ago
• acharal / wam
  A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.
  ☆20Updated 5 years ago
• akkartik / am-utexas
  Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin
  ☆58Updated 16 years ago
• logicmoo / prologmud
  MUD Server written in Prolog using Forward chaining
  ☆28Updated 3 years ago
• rntz / minikanren-datalog
  Datalog implemented in minikanren
  ☆24Updated 8 years ago
• kwantam / lviv
  stack-based RPN functional programming language
  ☆55Updated 7 years ago
• mndrix / mavis
  Optional types for Prolog
  ☆11Updated 7 years ago
• rla / prolog-target-js
  Simple Prolog to JS transpiler
  ☆20Updated 13 years ago
• alanb2718 / wallingford
  An experimental DSL for handling state and updates, along with constraints, in Rosette.
  ☆50Updated 6 years ago
• dmbarbour / awelon
  Awelon project is a new UI model with a new language.
  ☆106Updated 10 years ago
• trith / trith
  A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.
  ☆70Updated 14 years ago
• thetrime / proscript2
  If at first you don't succeed
  ☆12Updated 5 years ago
• rla / prolog-markdown
  Markdown parser for SWI-Prolog.
  ☆22Updated 5 years ago
• darius / toot
  A small language to demo turning an interpreter into a compiler
  ☆11Updated 9 years ago
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆30Updated 8 years ago
• bennn / iPoe
  Interactive POetry Editor
  ☆28Updated 4 years ago
• ClioPatria / ClioPatria
  ClioPatria provides an RDF application platform
  ☆56Updated this week
• darius / cant
  A programming argot
  ☆57Updated last year