3 ms·
Looked that up, head exploded. Generates quines!?!! http://en.m.wikipedia.org/wiki/MiniKanren http://en.m.wikipedia.org/wiki/MiniKanren
by endergen 13y ago
Looked that up, head exploded. Generates quines!?!!
http://en.m.wikipedia.org/wiki/MiniKanren http://en.m.wikipedia.org/wiki/MiniKanren
- agumonkey 13y agoAnd the aside question 'which program will output X'.
- beering 13y agoConstraint-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.