Constraint-based logic programming is actually pretty straightforward. You just define a constraint, and it tries to go and find things that fit.
Quines is as simple as saying that you want eval(x)==x, and it will try to fill in answers for x. It's a bit underwhelming, though, to realize that it will tell you that "5" is a quine, since eval(5)==5.
