Text this: Constraints in Computational Logics: Theory and Applications