Meta-Programming in Logic Programming door Harvey Abramson