Ykanren. A logic puzzle solver that finds all possible answers, not just the first one.

github.com/yinwang0/ykanren

Vaya's read on this project

Problem, audience, market, and the verdict — sign in to see it.

Updates

July 2013
  • renamed tautology? to subsumed?
  • changed all 'exist' to 'fresh' according to Dan's suggestions
  • readme change
  • first commit