Excellent talk on meta-interpretation in Prolog
youtube.com/watch?v=nmBkU-l1zyc
🎥 Prolog Meta-interpreters