Alternatives and similar repositories for intellij-prolog

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

• arthwang / vsc-prolog
  A VS Code extension that provides language support for prolog
  ☆101Updated last year
• SWI-Prolog / swipl-wasm
  Run SWI-Prolog in your browser using WebAssemply
  ☆77Updated 2 years ago
• owo-lang / intellij-dtlc
  IntelliJ plugin for several experimental programming languages here
  ☆35Updated 3 years ago
• jiprolog / jiprolog
  JIProlog is a Prolog interpreter, pure Java 100%, cross-platform and Open Source.
  ☆136Updated 3 years ago
• javactrl / javactrl
  Resumable exceptions and delimited continuations for JVM
  ☆42Updated last month
• aymanosman / intellij-racket
  Racket plugin for the IntelliJ Platform
  ☆19Updated last month
• racket / ChezScheme
  Chez Scheme
  ☆109Updated last year
• eregon / mozart-graal
  An implementation of Oz on top of Truffle and Graal
  ☆41Updated 3 years ago
• bamboo / idris2-lsp-vscode
  Visual Studio Code integration for the Idris 2 language server
  ☆30Updated 7 months ago
• SOM-st / TruffleSOM
  A SOM Smalltalk implemented on top of Oracle's Truffle Framework
  ☆34Updated 3 weeks ago
• RBornat / jape
  Jape, a configurable proof editor (best at natural deduction and sequent calculus)
  ☆51Updated last year
• Saigut / intellij-scheme
  IntelliJ plugin for Scheme programming language
  ☆31Updated 2 years ago
• talksmall / Strongtalk
  Strongtalk VM
  ☆102Updated 3 years ago
• smarr / SOMns
  SOMns: A Newspeak for Concurrency Research
  ☆69Updated 3 months ago
• JetBrains / arend-lib
  ☆82Updated 3 months ago
• ice1000 / arend-io
  A toy IO library for Arend
  ☆18Updated 4 years ago
• aarroyoc / doclog
  DocLog builds documentation from source code in Prolog
  ☆27Updated 5 months ago
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆35Updated last year
• yjqww6 / macrology
  ☆40Updated 3 years ago
• michaelballantyne / faster-minikanren
  A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
  ☆158Updated 4 months ago
• cicada-lang / cicada-plct
  Cicada Language (PLCT little team)
  ☆93Updated 5 months ago
• SWI-Prolog / tabled-prolog-book
  Programming in Tabled Prolog by David S Warren
  ☆22Updated 5 years ago
• reborg / jscheme
  Jscheme (Scheme (in Java (by Peter Norvig)))
  ☆52Updated 6 years ago
• s-webber / projog
  Prolog programming for the Java platform.
  ☆38Updated last year
• teyjus / teyjus
  An efficient implementation of the higher-order logic programming language Lambda Prolog
  ☆155Updated last year
• SWI-Prolog / packages-jpl
  JPL: The Prolog <-> Java interface
  ☆54Updated last month
• HarvardPL / AbcDatalog
  Datalog that's as easy as ABC.
  ☆59Updated 2 weeks ago
• takikawa / tr-pfds
  Typed Racket data structure libraries
  ☆58Updated 3 years ago
• TheClause / learn-prolog
  Bringing Prolog to the masses.
  ☆36Updated 3 years ago
• lexi-lambda / racket-r7rs
  An implementation of R7RS in Racket
  ☆99Updated 7 months ago