Alternatives and similar repositories for shop3

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

• cl-axon / shop2
  Simple Hierarchical Ordered Planner - A mirror of
  ☆35Updated 8 years ago
• neil-lindquist / linear-programming
  A Common Lisp library for solving linear programming problems
  ☆110Updated last year
• triska / lisprolog
  Interpreter for a simple Lisp. Written in Prolog.
  ☆148Updated 2 years ago
• aarroyoc / postgresql-prolog
  A Prolog library to connect to PostgreSQL databases
  ☆98Updated last year
• nikodemus / screamer
  Screamer is an extension of Common Lisp that adds support for nondeterministic programming.
  ☆243Updated last year
• triska / clpz
  Constraint Logic Programming over Integers
  ☆201Updated last year
• rpgoldman / pddl-tools
  Common lisp library for manipulating PDDL expressions.
  ☆14Updated 4 months ago
• Web-Prolog / swi-web-prolog
  A proof-of-concept SWI-Prolog implementation of Web Prolog
  ☆190Updated 4 years ago
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆113Updated 6 years ago
• plops / cl-cpp-generator
  another lisp library to generate c/c++ code. this one is supposed to be very simple. note that development of this repo has stopped. i am…
  ☆65Updated 4 years ago
• metagol / metagol
  Metagol - an inductive logic programming system
  ☆201Updated 3 years ago
• logicmoo / wam_common_lisp
  Allow Lisp programs to stop implementing an ad-hoc, informally-specified, bug-ridden, slow implementation of less than half of ISO-Prolog…
  ☆102Updated 3 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆52Updated 8 years ago
• kennytilton / cells
  A Common Lisp implementation of the dataflow programming paradigm
  ☆218Updated 2 years ago
• kiselgra / c-mera
  Next-level syntax for C-like languages :)
  ☆419Updated last month
• LogtalkDotOrg / logtalk3
  Logtalk - declarative object-oriented logic programming language
  ☆451Updated this week
• 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.
  ☆304Updated 6 months ago
• briangu / OPS5
  OPS5 Production System
  ☆57Updated 12 years ago
• trealla-prolog / trealla
  A compact, efficient Prolog interpreter written in plain-old C.
  ☆296Updated this week
• stylewarning / deprecated-coalton-prototype
  Coalton is (supposed to be) a dialect of ML embedded in Common Lisp.
  ☆207Updated 3 years ago
• Shen-Language / wiki
  ☆73Updated 10 years ago
• bobschrag / clolog
  Full-featured logic programming (AKA "Prolog") embedded in/callable from and supporting calls to Clojure. In the spirit of LogLisp, Lisp…
  ☆268Updated last year
• Shen-Language / shen-cl
  Shen for Common Lisp (Unmaintained)
  ☆128Updated last year
• JanWielemaker / sCASP
  top-down interpreter for ASP programs with constraints
  ☆17Updated 2 years ago
• tonyg / syndicate
  syn·di·cate: a language for interactive programs
  ☆157Updated 3 months ago
• slburson / fset
  FSet, the functional collections library for Common Lisp.
  ☆210Updated last week
• sbp / hedgehog
  Concise implementation of a lisp-like language for low-end and embedded devices
  ☆100Updated 11 years ago
• rongarret / BWFP
  ☆70Updated 6 years ago
• rongarret / ergolib
  A library designed to make programming in Common Lisp easier
  ☆146Updated 4 years ago
• vsedach / Vacietis
  C to Common Lisp compiler
  ☆315Updated 3 years ago