A preprocessor based module system for prolog

In this paper, we propose a simple module system for Prolog. A minimal set of simple concepts realize the most important objectives of a module system: structuring of a larger piece of software into smaller logical units, information hiding, and abstract data types. It can be completely implemented by a preprocessor which maps modularized Prolog programs onto ordinary Prolog programs. The preprocessor itself can be written in Prolog and thus the module system can be integrated in any existing Prolog environment. It can easily be integrated with other preprocessor based software engineering aids, for example static mode and type checkers