modular prolog

from The Free On-line Dictionary of Computing (8 July 2008)
Modular Prolog
Modular SB-Prolog

   An {interpreter} for {SB-Prolog} version 3.1 extended with
   {ML}-style {modules}.  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 <[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)
    

[email protected]