References - clojure/core.logic GitHub Wiki
A non-exhaustive list of influences and references:
- alphaKanren
- Nominal Logic Programming
- Finite Domain Constraint Programming in Oz. A Tutorial
- cKanren
- Efficient Constraint Propagation Engines
- Techniques for Efficient Constraint Propagation
- Operations Research Tools developed at Google
- logilab-constraint
- Solving Every Sudoku Puzzle
- Constraint Handling Rules
- The XSB System Version 3.2 - Volume 2: Libraries, Interfaces, and Packages, particularly the section on Attributed Variables
- The XSB System Version 3.2 - Volume 1: Programmer's Manual
- Concepts, Technqiues, and Models of Computer Programming, Chapters 9 and 12
- Art of the Propagator
- Constraint Propagation - Models, Techniques, Implementation
- Relational Programming in miniKanren: Techniques, Applications, and Implementations
- The Reasoned Schemer
- Efficient representations for triangular substitutions: A comparison in miniKanren
- A pattern matcher for miniKanren, or, how to get into trouble with CPS macros
- Kanren
- Logical JVM: Implementing the miniKanren logic system in Scala
- minikanren-scala
- Purely Functional Data Strucutres
- Using Datalog with Binary Decision Diagrams for Program Analysis
- Memoing for Logic Programs
- Efficient bottom-up abstract interpretation of prolog by means of constraint solving over symbolic finite domains
- A Checkers Game Implementation Using core.logic