Alternatives and similar repositories for prolog

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

• fnogatz / swivm
  SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions
  ☆41Updated 2 years ago
• SWI-Prolog / swipl-wasm
  Run SWI-Prolog in your browser using WebAssemply
  ☆77Updated 2 years ago
• curry-language / curry2go
  A compiler and run-time system to compile and run Curry programs as Go programs
  ☆34Updated last month
• aardappel / aarded
  Implementation of the Aardappel programming language
  ☆31Updated 8 years ago
• norswap / prolog-dry
  A terse Prolog course
  ☆43Updated 6 years ago
• aliceml / aliceml
  A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming
  ☆219Updated 2 years ago
• AvailLang / Avail
  The Avail programming language. Includes the virtual machine, standard library, and standard examples.
  ☆56Updated 3 months ago
• trith / trith
  A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.
  ☆70Updated 14 years ago
• leostera / awesome-alt-langs
  Just a list of Awesome Alt Langs to check out
  ☆101Updated last year
• shd101wyy / logic.js
  JavaScript implementation of modified version of miniKanren
  ☆34Updated 6 years ago
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆30Updated 2 years ago
• rkoeninger / ShenScript
  Shen for JavaScript
  ☆60Updated 10 months ago
• darklang / philip2
  An Elm to OCaml compiler
  ☆208Updated 5 years ago
• Barry-Jay / bondi
  source code for the bondi programming language
  ☆40Updated 6 years ago
• Web-Prolog / swi-web-prolog
  A proof-of-concept SWI-Prolog implementation of Web Prolog
  ☆190Updated 4 years ago
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆29Updated 7 years ago
• JanWielemaker / swi-prolog-wasm
  SWI-Prolog ported to WebAssembly
  ☆39Updated 7 years ago
• SOM-st / SOM
  SOM - Simple Object Machine
  ☆71Updated last week
• hellerve / microml
  A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines
  ☆36Updated 5 years ago
• herrmanntom / setlX
  setlX is an interpreter for the high level programming-language SetlX (set language extended).
  ☆27Updated 3 years ago
• SOSML / SOSML
  The Online Interpreter for Standard ML, written in TypeScript.
  ☆176Updated last year
• mcsoto / cosmos
  A new logic programming language.
  ☆175Updated last year
• cell-lang / compiler
  Cell compiler
  ☆115Updated 2 years ago
• acook / blacklight
  a stack-based concatenative virtual machine for implementing highly concurrent languages
  ☆45Updated last year
• sasagawa888 / nprolog
  interpreter and compiler to be compatible with ARITY/PROLOG（MS-DOS)
  ☆122Updated this week
• dyoo / brainfudge
  F*dging up a Racket: how to write Brainf*ck as a Racket language
  ☆27Updated 5 years ago
• yona-lang / yona
  Yona is a modern take on a dynamic general-purpose programming language with advanced functional programming, minimalistic ML-like syntax…
  ☆129Updated 2 years ago
• mndrix / jolog
  Concurrent and distributed Prolog via join patterns (join calculus)
  ☆12Updated 10 years ago
• mth / yeti
  Functional programming language for JVM.
  ☆248Updated last month
• TheClause / learn-prolog
  Bringing Prolog to the masses.
  ☆36Updated 3 years ago