Text this: A computational logic handbook