[goku12]

This is the sort of comment I'm on HN for. Information, especially links to appropriate resources, that only a true practitioner can offer.

[gpvos]

Indeed. Favorited it. My Prolog is too rusty to understand it all, but even just skimming the metainterpretation article was enlightening.

[Nora23]

Same here. The metainterpretation stuff is fascinating but dense.