This report covers the specification and implementation of a predicate based module system for SICStus Prolog. There is also a brief background to the module issue for Prolog. The emphasis is put on the description of the implementation.