A metacircular interpreter in Prolog: https://www.metalevel.at/acomip/ The fact that this exists at all is mindbending to me. It's easy to just see Prolog as a logical reasoning engine.