Alternatives and similar repositories for yap

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

• poplog / poplog
  Poplog
  ☆21Updated 14 years ago
• ptarau / binprolog
  Fast, simplified WAM-based Prolog system
  ☆23Updated 2 months ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆32Updated 2 years ago
• triska / clpb
  Boolean Constraint Solving in Prolog
  ☆43Updated 7 months ago
• mndrix / func
  Apply and compose functions in Prolog
  ☆19Updated 8 years ago
• mndrix / microkanren-prolog
  Prolog implementation of microKanren
  ☆43Updated 10 years ago
• orchid-hybrid / minimips
  minikanren mips assembler/disassembler
  ☆33Updated 10 years ago
• Ravenbrook / mlworks
  MLWorks is a Standard ML compiler and development environment.
  ☆181Updated 7 years ago
• mndrix / edcg
  Extended DCG syntax for Prolog by Peter Van Roy
  ☆21Updated 7 years ago
• webyrd / alphaKanren
  Nominal logic programming extensions to miniKanren, based on alphaProlog.
  ☆25Updated 11 years ago
• racket / lazy
  ☆7Updated 2 months ago
• triska / bitcoinolog
  Reason about Bitcoin addresses with Prolog
  ☆22Updated last year
• mndrix / mavis
  Optional types for Prolog
  ☆11Updated 6 years ago
• rocketnia / fexpress
  A compilation-friendly fexpr language. (Proof of concept.)
  ☆23Updated 6 months ago
• biboudis / sml-streams
  Streaming library for bulk memory operations with Standard ML in MLton
  ☆28Updated 10 years ago
• Pascal-J / type-system-j
  adds an optional type system to J language
  ☆21Updated 9 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆54Updated 8 years ago
• mndrix / miser
  Prolog library for building self-optimizing predicates
  ☆9Updated 10 years ago
• herrmanntom / setlX
  setlX is an interpreter for the high level programming-language SetlX (set language extended).
  ☆27Updated 3 years ago
• webyrd / hindley-milner-type-inferencer
  Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.
  ☆21Updated 10 years ago
• JanWielemaker / swi-erlang
  Yes, Erlang in SWI-Prolog!
  ☆11Updated 7 years ago
• standardml / parcom
  SML Parser Combinator Library
  ☆28Updated 9 years ago
• JanWielemaker / tabling_library
  Benoit Desouter's library for tabling on delimited continuations
  ☆9Updated 9 years ago
• standardml / SML-JSON
  A basic JSON parsing library for SML
  ☆11Updated 10 years ago
• kayceesrk / multiMLton
  MLton for scalable multicore architectures
  ☆57Updated 11 years ago
• leuschel / logen
  Offline partial evaluation system for Prolog written using the cogen approach
  ☆20Updated 8 years ago
• Dyalog / MiServer
  MiServer- an APL-based web server - requires Dyalog APL available from http://www.dyalog.com
  ☆48Updated last month
• logicmoo / logicmoo_workspace
  https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/
  ☆44Updated last year
• aprolog-lang / aprolog
  αProlog
  ☆18Updated 2 years ago
• soegaard / meta
  Exploration of the inner workings of Racket
  ☆19Updated 8 years ago