Text this: A Computational Logic Handbook