Meta-programming in logic programming / - Abramson, Harvey.; Rogers, M. H., (MIT Press,, 1989)