References

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