Text this: From logic to computing