Meta-Programming in Logic Programming - Abramson, Harvey (Massachusetts Institute of Technology, 1989)