Text this: Logical compactness and constraint satisfaction problems