Modular Prolog - An extension of SB-Prolog (version 3.1) extended with ML-
style modules. For Sun-4. "A Calculus for the Construction of Modular
Prolog Programs", D. Sannella et al, J Logic Prog 12:147-177 (1992)
ftp://ftp.dcs.ed.ac.uk/pub/dts/mod-prolog.tar.Z
Comments, Experience, Additions
Next Language: Modulex