Modules for Prolog: Proposal for Part 2 of the Standard