Alternatives and similar repositories for intellij-prolog

Users that are interested in intellij-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
• arthwang / vsc-prolog
  A VS Code extension that provides language support for prolog
  ☆101Updated last year
• owo-lang / intellij-dtlc
  IntelliJ plugin for several experimental programming languages here
  ☆35Updated 3 years ago
• LPCIC / elpi
  Embeddable Lambda Prolog Interpreter
  ☆311Updated last week
• SOM-st / TruffleSOM
  A SOM Smalltalk implemented on top of Oracle's Truffle Framework
  ☆34Updated 2 months ago
• aymanosman / intellij-racket
  Racket plugin for the IntelliJ Platform
  ☆19Updated 3 weeks ago
• ciao-lang / ciao
  Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
  ☆302Updated 6 months ago
• eregon / mozart-graal
  An implementation of Oz on top of Truffle and Graal
  ☆41Updated 3 years ago
• jiprolog / jiprolog
  JIProlog is a Prolog interpreter, pure Java 100%, cross-platform and Open Source.
  ☆136Updated 3 years ago
• lexi-lambda / racket-r7rs
  An implementation of R7RS in Racket
  ☆99Updated 7 months ago
• ice1000 / arend-io
  A toy IO library for Arend
  ☆18Updated 4 years ago
• didoudiaz / gprolog
  GNU Prolog
  ☆121Updated last month
• mth / yeti
  Functional programming language for JVM.
  ☆247Updated last year
• michaelballantyne / faster-minikanren
  A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
  ☆157Updated 3 months ago
• JetBrains / arend-lib
  ☆81Updated 2 months ago
• Beluga-lang / Beluga
  Contextual types meet mechanized metatheory!
  ☆188Updated this week
• Saigut / intellij-scheme
  IntelliJ plugin for Scheme programming language
  ☆31Updated 2 years ago
• ice1000 / anqur
  Elaboration with inductive types
  ☆16Updated last year
• smarr / SOMns
  SOMns: A Newspeak for Concurrency Research
  ☆69Updated 2 months ago
• HarvardPL / AbcDatalog
  Datalog that's as easy as ABC.
  ☆59Updated this week
• azdavis / millet
  A language server for Standard ML in Rust.
  ☆223Updated last month
• sasagawa888 / nprolog
  interpreter and compiler to be compatible with ARITY/PROLOG（MS-DOS)
  ☆107Updated this week
• triska / clpz
  Constraint Logic Programming over Integers
  ☆200Updated last year
• CatarinaGamboa / liquidjava
  ☆37Updated last month
• SWI-Prolog / tabled-prolog-book
  Programming in Tabled Prolog by David S Warren
  ☆22Updated 5 years ago
• s-webber / projog
  Prolog programming for the Java platform.
  ☆38Updated last year
• yjqww6 / macrology
  ☆40Updated 3 years ago
• teyjus / teyjus
  An efficient implementation of the higher-order logic programming language Lambda Prolog
  ☆155Updated last year
• RBornat / jape
  Jape, a configurable proof editor (best at natural deduction and sequent calculus)
  ☆51Updated last year
• ice1000 / guest0x0
  Neon lights in the night tonight and stars that shine in the open sky
  ☆43Updated last year