Walter Gene Wilson

• Purelog I: pragmatic logic programming with meta-declarations