Text this: Knowledge Representation, Reasoning and Declarative Problem Solving