Text this: Εφαρμογές της λογικής στην πληροφορική