Text this: Meta-programming in logic :