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)