Text this: From logic to computers