Modus: a Datalog dialect for building container images. - Chris Tomy; Tingmao Wang; Earl T. Barr; Sergey Mechtaev (ESEC/SIGSOFT FSE, 2022)