Title: Purelog I: pragmatic logic programming with meta-declarations