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 mprolog@dcs.ed.ac.uk .
["A Calculus for the Construction of Modular Prolog Programs", D. Sannella et al, J Logic Prog 12:147-177 (1992)].
(1994-10-25)