A module system for a programming language based on the LF logical framework
Robert W. Harper · Journal of Logic and Computation · 1998
We describe a module system for Elf, a logic programming language based on the LF logical framework. The static part of module calculus addresses name-space management and structured presentation of deductive systems. The dynamic part addresses search-space management and modularization of logic programs.