Text this: Logical systems for Industrial Applications