Modular Prolog

An extension of SB-Prolog (version 3.1) extended with ML[2]-style modules. For the Sun-4.

"A Calculus for the Construction of Modular Prolog Programs", D. Sannella et al, Journal of Logic Programming 12:147-177 (1992)