Meta-Programming in Logic Programming

Harvey Abramson , M. Rogers