Prolog Meta-interpreters
Interpretation is pervasive in computer science both from a theoretical and a practical perspective. Prolog is exceptionally well suited for writing interpreters and meta-interpreters, and this is the source of its unique power. Meta-interpreters allow us to change and extend all features of Prolog, and incorporate new logic dynamically in our applications. More information: https://www.metalevel.at/acomip/