Meta-programming in logic programming by Abramson, Harvey, Rogers, M. H. fromLogic programming 0 Type: Book
