Modular Prolog

Modular Prolog

An interpreter for SB-Prolog version 3.1 extended withML-style modules. Runs on SPARC. Distributed underGNU 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)].