Text this: Optimization and computational logic