kibit reading list

The following books/papers/learning material might serve as a basis for further development of kibit. Feel free to add to this list:

core.logic:

• A Core.logic Primer
• The Reasoned Schemer
• Relational Programming in miniKanren

Prolog:

• An introduction to logic programming through Prolog - Chapter 11 is about simplifying arithmetic expressions.

Other interesting stuff:

• A Formal Pattern Language for Refactoring of Lisp Programs
• Pattern matching and rules
• SOUL for Smalltalk