Good answer. Actually a 10-line blurb on the core operations of Minikanren and some output from programs would be pretty useless. It would only serve to confuse

Good answer. Actually a 10-line blurb on the core operations of Minikanren and some output from programs would be pretty useless. It would only serve to confuse the reader because names like "fresh", "conde", "numbero" etc aren't very descriptive (you can argue whether they're good names at all). Maybe having a little blurb about the meta-circular interpreter might be useful as a way of "exciting" the audience by presenting a cool result.