Alternatives and similar repositories for prolog-starter:

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

• etnt / Haskerl
  Haskell subset compiled to the Beam machine.
  ☆42Updated 10 years ago
• mthom / shen-minikanren
  An embedding of miniKanren in Shen.
  ☆25Updated 9 years ago
• hpi-swa / Gramada
  Gramada is an interactive development environment for programming languages defined in Ohm. It is based on Vivide and implemented in Sque…
  ☆16Updated 5 years ago
• fnogatz / swivm
  SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions
  ☆41Updated 2 years ago
• lfe-deprecated / clj
  MERGED to LFE - Clojure-inspired macros and functions for use in LFE
  ☆28Updated 8 years ago
• 97jaz / hamt
  Hash Array Mapped Tries for Racket
  ☆20Updated 8 years ago
• pzel / mkr
  An implementation of µKanren in Lisp Flavored Erlang.
  ☆18Updated 9 years ago
• webyrd / untitled-relational-interpreter-book
  Relational Programming in miniKanren
  ☆52Updated 9 years ago
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 8 months ago
• webyrd / miniKanren-uncourse
  Code, wiki, and resources for the weekly miniKanren uncourse
  ☆52Updated 9 years ago
• lfex / exemplar
  Markup Language Expressions for LFE
  ☆35Updated last year
• clojang / lfecljapp
  An Example LFE/Clojure Multi-node System using OTP and Supervision Trees
  ☆28Updated 8 years ago
• purescript-emacs / emacs-psci
  Major mode for psci (purescript's repl)
  ☆17Updated last year
• hypirion / haskell-transducers
  Clojure's Transducers in Haskell
  ☆40Updated 8 years ago
• mrb / idris-ruby
  Yes, really!
  ☆11Updated 9 years ago
• feeley / etos
  Erlang to Scheme compiler
  ☆36Updated 13 years ago
• lfe-deprecated / lfest
  DEPRECATED (use lfex/lanes instead)
  ☆37Updated 5 years ago
• eugeneia / geneva
  Geneva: portable document preparation system
  ☆9Updated 8 years ago
• takeoutweight / bidirectional
  Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure
  ☆23Updated 9 years ago
• lexi-lambda / racket-alexis-collections
  Deprecated. Use https://github.com/lexi-lambda/racket-collections instead.
  ☆12Updated 2 years ago
• vmchale / coronavirus
  covid-19 data in J
  ☆16Updated 3 years ago
• fisherdj / miniAdapton
  a minimal implementation of incremental computation in Scheme
  ☆34Updated 7 years ago
• racket / datalog
  ☆46Updated last month
• jasonhemann / micro-in-mini
  an implementation of a microKanren(-like language) in miniKanren
  ☆26Updated 10 years ago
• pselm / core
  A Purescript implementation of Elm's `core` library
  ☆30Updated 6 years ago
• ProjectMAC / propagators
  The propagator system
  ☆41Updated 9 years ago
• tapeinosyne / elm-microkanren
  μKanren in Elm
  ☆43Updated 8 years ago
• aarroyoc / teruel
  Template engine for ISO Prolog, based on Jinja and Tera
  ☆16Updated last year
• TheClause / learn-prolog
  Bringing Prolog to the masses.
  ☆36Updated 3 years ago
• QuentinDuval / IdrisReducers
  Transducers for Idris: a library for composable algorithmic transformation.
  ☆32Updated 7 years ago