papers on relational programming by bruce maclennan