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