Woah, Wikipedia discusses Prolog on its homoiconicity page. Mind-bending.