Modular Prolog

An interpreter for SB-Prolog version 3.1 extended with

ML-style modules. Runs on SPARC. Distributed under

GNU General Public License.

. 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)