Composing logic programs by meta-programming in Go¨del