Alternatives and similar repositories for nprolog:

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

• smlsharp / smlsharp
  SML# compiler
  ☆224Updated 2 months 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.
  ☆296Updated 3 months ago
• rjnw / sham
  A DSL for runtime code generation in racket
  ☆67Updated 2 years ago
• triska / lisprolog
  Interpreter for a simple Lisp. Written in Prolog.
  ☆145Updated 2 years ago
• zick / RingLisp
  Lisp implementation which allocates cons cells on a ring buffer
  ☆43Updated 4 years ago
• fujita-y / digamma
  Derived from Ypsilon (fujita-y/ypsilon) for experimental research
  ☆27Updated 2 years ago
• carld / lispkit
  FUNCTIONAL PROGRAMMING: Application and Implementation, Peter Henderson, ISBN 0-13-331579-7
  ☆53Updated last year
• mthom / scryer-shen
  ☆45Updated 3 months ago
• aarroyoc / doclog
  DocLog builds documentation from source code in Prolog
  ☆26Updated 2 months ago
• drym-org / qi
  An embeddable flow-oriented language.
  ☆69Updated 3 weeks ago
• jrincayc / r7rs-pico-spec
  Pico version of revised⁷ report on the algorithmic language scheme
  ☆30Updated last month
• trealla-prolog / trealla
  A compact, efficient Prolog interpreter written in plain-old C.
  ☆285Updated this week
• minoki / LunarML
  The Standard ML compiler that produces Lua/JavaScript
  ☆366Updated 2 weeks ago
• sasagawa888 / eisl
  ISLisp interpreter/compiler
  ☆295Updated last month
• CafeOBJ / cafeobj
  Development of the CafeOBJ interpreter
  ☆33Updated 3 months ago
• LPCIC / elpi
  Embeddable Lambda Prolog Interpreter
  ☆303Updated 2 weeks ago
• ktakashi / sagittarius-scheme
  A manual (beh...) clone from bitbucket to use hosted CI service which only support GitHub
  ☆50Updated this week
• Zag-Research / Zag-Smalltalk
  Smalltalk VM Written in Zig with methods stored as type-annotated ASTs
  ☆134Updated this week
• rusini / manool
  Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…
  ☆63Updated 8 months ago
• iigura / Paraphrase
  Multi-core suitable Forth-like language
  ☆35Updated last year
• tizoc / shen-scheme
  Shen/Scheme implementation
  ☆107Updated 6 months ago
• mndrix / microkanren-prolog
  Prolog implementation of microKanren
  ☆44Updated 10 years ago
• egison / egison-scheme
  Scheme macros for non-linear pattern matching with backtracking for non-free data types
  ☆28Updated 5 years ago
• abuseofnotation / termlisp
  A lisp dialect based on pattern matching and term rewriting
  ☆84Updated 4 months ago
• fujita-y / ypsilon
  R7RS/R6RS Scheme Implementation
  ☆57Updated last year
• nikitadanilov / 3-lisp
  3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith
  ☆109Updated 2 years ago
• cannadayr / rsbqn
  An embeddable BQN virtual machine in rust. Stay tuned!
  ☆34Updated 2 years ago
• aya-lang / aya
  Pocket sized programs
  ☆55Updated last month
• standardml / smackage
  Smackage Package Manager for Standard ML
  ☆123Updated 2 years ago
• yuriy-chumak / ol
  Otus Lisp (Ol in short) is a purely* functional dialect of Lisp.
  ☆229Updated this week