Alternatives and similar repositories for Prolog:

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

• fcbr / graph-algorithms
  Several graph algorithms in Common Lisp.
  ☆8Updated 4 years ago
• zkat / conserv
  ☆31Updated 10 years ago
• DalekBaldwin / macrodynamics
  Look at your macros in a whole new scope.
  ☆22Updated 7 years ago
• rootmos / silly-k
  silly-k is an experimental language inspired by K and APL
  ☆15Updated 5 months ago
• eslick / cl-langutils
  A Common Lisp natural language processing toolkit
  ☆52Updated 12 years ago
• sellout / YACC-is-dead
  YACC is dead for Common Lisp (based on http://arxiv.org/abs/1010.5023)
  ☆40Updated 11 months ago
• eugeneia / sam
  Tiny, concurrent sampling profiler for Clozure Common Lisp.
  ☆15Updated 8 years ago
• pinocchio / p
  Pinocchio VM
  ☆20Updated 4 years ago
• blakemcbride / LispEdit
  Common Lisp Structure Editor
  ☆24Updated 4 months ago
• cararemixed / hansei
  A collection of code related to the HANSEI language
  ☆9Updated 8 years ago
• skypher / montezuma
  Full-text indexing and search for Common Lisp
  ☆54Updated 11 years ago
• takagi / avm
  Efficient and expressive arrayed vector math library with multi-threading and CUDA support in Common Lisp.
  ☆54Updated 3 years ago
• Ramarren / ropes
  Common Lisp implementation of rope datastructure
  ☆37Updated 6 months ago
• mcandre / cl-quickcheck
  cl-quickcheck - a Common Lisp port of the QuickCheck unit test framework
  ☆70Updated 4 years ago
• flavioc / cl-meld
  Meld compiler written in Common Lisp
  ☆14Updated 9 years ago
• VincentToups / parseltongue
  A monadic parser combinator library for Common Lisp.
  ☆14Updated 12 years ago
• pkhuong / Pipes
  A traversal fusion EDSL for Common Lisp
  ☆23Updated 3 years ago
• eugeneia / erlangen
  Distributed, asychronous message passing system for Clozure Common Lisp
  ☆66Updated 7 years ago
• gregr / dKanren
  miniKanren variant with a functional syntax, expressing disjunction via pattern matching
  ☆16Updated 5 years ago
• nickg / swank-chicken
  SWANK server for Chicken Scheme
  ☆50Updated 9 months ago
• ahungry / glyphs
  Glyphs - Reducing Common Lisp verbosity
  ☆29Updated 6 years ago
• danlentz / cl-ctrie
  lock-free, concurrent, key/value index with efficient memory-mapped persistence and fast transient storage models
  ☆120Updated 9 years ago
• fredokun / lisp-list-comprehensions
  Two macros for list comprehensions in lisp
  ☆34Updated 8 years ago
• sellout / quid-pro-quo
  A contract programming library for Common Lisp in the style of Eiffel’s Design by Contract ™.
  ☆95Updated 6 years ago
• cracauer / sbcl-ita
  The SBCL Common Lisp compiler with ITA's patches
  ☆21Updated 8 years ago
• webyrd / miniKanren-uncourse
  Code, wiki, and resources for the weekly miniKanren uncourse
  ☆52Updated 9 years ago
• jeffshrager / biobike
  ☆22Updated 9 years ago
• sirherrbatka / cl-data-structures
  Data Structures and streaming algorithms for Common Lisp.
  ☆48Updated this week
• amoe / boson
  web server derived from Fermion (circa 2011)
  ☆20Updated 8 years ago
• borodust / cl-flow
  Reactive computation tree library for non-blocking concurrent Common Lisp
  ☆50Updated 3 years ago