Modularity and Separate Compilation in Logic Programming. - Steven Holte; Gopalan Nadathur (CoRR, 2023)