Modular Prolog An {interpreter} for {SB-Prolog} version 3.1 extended with {ML}-style {module}s. Runs on {SPARC}. Distributed under {GNU} {General Public License}. {(ftp://ftp.dcs.ed.ac.uk/pub/dts/mod-prolog.tar.Z)}. E-mail: Brian Paxton. ["A Calculus for the Construction of Modular Prolog Programs", D. Sannella et al, J Logic Prog 12:147-177 (1992)]. (1994-10-25)