Minikanren Implementation

• Example Source
• microKanren Talk

Need to think of a name. Kangaroo Mouse? KM <-> MK. Help learn logic programming.

• Datalog Wiki
• Deductive Database Wiki

• Logic and Database: A Deductive Approach