https://uaeherald.com/tau-unveils-groundbreaking-research-in-logical-languages-to-transform-software-development/