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 last year
• jeffreykegler / old_kollos
  The Kollos project [ARCHIVED]
  ☆30Updated 3 years ago
• tonyg / js-vau
  Kernel-like interpreter
  ☆25Updated last year
• rla / prolog-target-js
  Simple Prolog to JS transpiler
  ☆20Updated 12 years ago
• cheery / chartparser
  Chart parser (Earley SPPF)
  ☆27Updated 6 years ago
• logicmoo / logicmoo_workspace
  https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/
  ☆44Updated 2 years ago
• thetrime / proscript
  A Javascript implementation of Prolog
  ☆16Updated 9 years ago
• fnogatz / swivm
  SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions
  ☆41Updated 2 years ago
• softdevteam / eco
  Editor for language composition
  ☆58Updated 2 years ago
• kwantam / lviv
  stack-based RPN functional programming language
  ☆53Updated 7 years ago
• kragen / peg-bootstrap
  A PEG that compiles itself.
  ☆76Updated 14 years ago
• mndrix / func
  Apply and compose functions in Prolog
  ☆19Updated 8 years ago
• rla / prolog-markdown
  Markdown parser for SWI-Prolog.
  ☆22Updated 4 years ago
• SWI-Prolog / packages-pengines
  Pengines: Prolog engines
  ☆12Updated last week
• logicmoo / prologmud
  MUD Server written in Prolog using Forward chaining
  ☆28Updated 3 years ago
• propella / prolog
  a prolog
  ☆29Updated 14 years ago
• ptarau / binprolog
  Fast, simplified WAM-based Prolog system
  ☆24Updated 4 months ago
• SWI-Prolog / pengines
  Pengine and Prolog scratchpad
  ☆59Updated 2 weeks ago
• logicmoo / logicmoo_clif
  Base Forward Chaining Knowledge Base Maintenance System
  ☆19Updated 3 years ago
• darius / cant
  A programming argot
  ☆58Updated last year
• acharal / hopes
  Higher Order Prolog with Extensional Semantics
  ☆53Updated 5 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
• poplog / poplog
  Poplog
  ☆21Updated 14 years ago
• ProjectMAC / propagators
  The propagator system
  ☆41Updated 9 years ago
• enso-lang / enso
  ☆71Updated 5 years ago
• ptarau / iProlog
  Java-based lightweight Prolog virtual machine
  ☆34Updated last year
• JanWielemaker / swi-erlang
  Yes, Erlang in SWI-Prolog!
  ☆11Updated 7 years ago
• srikumarks / FD.js
  Finite domain constraint programming library in JS
  ☆62Updated 3 years ago
• jeffreykegler / Marpa--R2
  Parse any language you can describe in BNF
  ☆163Updated 2 years ago