An interpreter for SB-Prolog version 3.1 extended with ML-style modules. Runs on SPARC. Distributed under GNUGeneral Public License. . 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)