Alternatives and similar repositories for prolog:

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

• SWI-Prolog / swipl-wasm
  Run SWI-Prolog in your browser using WebAssemply
  ☆77Updated 2 years ago
• kamahen / swipl-server-js-client
  Sample SWI-Prolog server with JavaScript client
  ☆12Updated last year
• fnogatz / swivm
  SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions
  ☆41Updated 2 years ago
• curry-language / curry2go
  A compiler and run-time system to compile and run Curry programs as Go programs
  ☆23Updated 3 months ago
• JanWielemaker / swi-prolog-wasm
  SWI-Prolog ported to WebAssembly
  ☆39Updated 6 years ago
• shd101wyy / logic.js
  JavaScript implementation of modified version of miniKanren
  ☆32Updated 5 years ago
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆30Updated 2 years ago
• Barry-Jay / bondi
  source code for the bondi programming language
  ☆40Updated 6 years ago
• norswap / prolog-dry
  A terse Prolog course
  ☆41Updated 6 years ago
• manshengyang / minikanren-ocaml
  miniKanren in OCaml
  ☆31Updated last year
• jamesnvc / vuelog
  Prolog Pengines + vue.js
  ☆17Updated 5 years ago
• kkty / theorem-prover
  Automated theorem prover for first-order predicate logic written in TypeScript
  ☆27Updated 2 years ago
• fccm / OCamlODE
  OCaml bindings for the Open Dynamics Engine (ODE), a 3D physics engine.
  ☆16Updated 2 years ago
• sasagawa888 / Elxlog
  Prolog interpreter/compiler
  ☆32Updated 4 years ago
• ravichugh / djs
  Dependent JavaScript: A Typed Dialect
  ☆87Updated 11 years ago
• wjlewis / ramo
  miniKanren for JavaScript
  ☆25Updated last year
• sasagawa888 / nprolog
  interpreter and compiler to be compatible with ARITY/PROLOG（MS-DOS)
  ☆95Updated this week
• mollerse / ait-lang
  Ait - Concatenative language for making visual demos with Canvas
  ☆47Updated 7 years ago
• KMahoney / kuljet
  The Kuljet language
  ☆25Updated last week
• urweb / upo
  The Ur/Web People Organizer
  ☆29Updated 9 months ago
• SWI-Prolog / pengines
  Pengine and Prolog scratchpad
  ☆58Updated 4 years ago
• ogaml / ogaml
  Ocaml multimedia library
  ☆29Updated 3 years ago
• PLTools / OCanren
  Statically typed embedding of miniKanren relational programming language into OCaml
  ☆117Updated 2 weeks ago
• jaredly / jerd
  ☆36Updated 3 years ago
• aarroyoc / postgresql-prolog
  A Prolog library to connect to PostgreSQL databases
  ☆97Updated 9 months ago
• CafeOBJ / cafeobj
  Development of the CafeOBJ interpreter
  ☆33Updated 3 months ago
• gfngfn / toy-macro-ml
  An implementation of MacroML [Ganz, Sabry & Taha 2001]
  ☆30Updated 6 years ago
• arthwang / vsc-picat
  A VS Code extension supporting for Picat language
  ☆16Updated 6 years ago
• acook / blacklight
  a stack-based concatenative virtual machine for implementing highly concurrent languages
  ☆45Updated 11 months ago
• smpoulsen / terp
  A functional programming language with lisp syntax and ML semantics that runs on the BEAM
  ☆46Updated 3 years ago