Modular Prolog
Modular SB-Prolog
An {interpreter} for {SB-Prolog} version 3.1 extended with
{ML}-style {modules}. 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 <[email protected]>.
["A Calculus for the Construction of Modular Prolog Programs",
D. Sannella et al, J Logic Prog 12:147-177 (1992)].
(1994-10-25)