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
• pinocchio / p
  Pinocchio VM
  ☆20Updated 4 years ago
• rootmos / silly-k
  silly-k is an experimental language inspired by K and APL
  ☆16Updated 7 months ago
• eugeneia / sam
  Tiny, concurrent sampling profiler for Clozure Common Lisp.
  ☆15Updated 8 years ago
• eslick / cl-langutils
  A Common Lisp natural language processing toolkit
  ☆52Updated 12 years ago
• DalekBaldwin / macrodynamics
  Look at your macros in a whole new scope.
  ☆22Updated 7 years ago
• poulson / dist-butterfly
  Fast distributed-memory oscillatory integration via the butterfly algorithm
  ☆8Updated 11 years ago
• blakemcbride / LispEdit
  Common Lisp Structure Editor
  ☆24Updated 6 months ago
• amoe / boson
  web server derived from Fermion (circa 2011)
  ☆20Updated 9 years ago
• cararemixed / hansei
  A collection of code related to the HANSEI language
  ☆9Updated 8 years ago
• cracauer / sbcl-ita
  The SBCL Common Lisp compiler with ITA's patches
  ☆21Updated 8 years ago
• sirherrbatka / cl-data-structures
  Data Structures and streaming algorithms for Common Lisp.
  ☆49Updated 2 months ago
• skypher / montezuma
  Full-text indexing and search for Common Lisp
  ☆54Updated 12 years ago
• sellout / YACC-is-dead
  YACC is dead for Common Lisp (based on http://arxiv.org/abs/1010.5023)
  ☆40Updated last year
• sellout / quid-pro-quo
  A contract programming library for Common Lisp in the style of Eiffel’s Design by Contract ™.
  ☆95Updated 6 years ago
• gregr / dKanren
  miniKanren variant with a functional syntax, expressing disjunction via pattern matching
  ☆16Updated 5 years ago
• conspack / cl-conspack
  Implementation for Common Lisp.
  ☆92Updated 2 years ago
• mflatt / not-a-box
  ☆58Updated 8 years ago
• flavioc / cl-meld
  Meld compiler written in Common Lisp
  ☆14Updated 9 years ago
• mcandre / cl-quickcheck
  cl-quickcheck - a Common Lisp port of the QuickCheck unit test framework
  ☆70Updated 5 years ago
• heshrobe / joshua-dist
  Joshua and Clim Environment
  ☆14Updated 3 years ago
• craigl64 / clim2
  The Common Lisp Interface Manager
  ☆25Updated 8 years ago
• ahungry / sluglisp
  Like Quicklisp, only slower (a web GUI based Quicklisp for searching the projects)
  ☆14Updated 7 years ago
• barak / oaklisp
  An object-oriented dialect of Scheme
  ☆60Updated 3 years ago
• gonzojive / paren-psos
  A simplified CLOS (Common Lisp Object System) for Parenscript
  ☆58Updated 12 years ago
• AccelerationNet / clsql-orm
  A common lisp object / relational mapping library, the goal of which, is to generate common lisp objects from a running database schema
  ☆32Updated 9 years ago
• per-gron / sack
  HTTP middleware for Scheme/Gambit/Black Hole, inspired by Ruby's Rack. Includes a HTTP client.
  ☆18Updated 13 years ago
• eugeneia / erlangen
  Distributed, asychronous message passing system for Clozure Common Lisp
  ☆66Updated 7 years ago
• borodust / cl-flow
  Reactive computation tree library for non-blocking concurrent Common Lisp
  ☆50Updated 3 years ago
• vseloved / cl-parsec
  Parser combinators in Common Lisp
  ☆23Updated 15 years ago