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



< Previous Terms Terms Containing Modular Prolog Next Terms >
Modula-Prolog
Modula/R
modular arithmetic
Modular C
MODUlar LAnguage
 Modular Prolog
Modular SB-Prolog
 Modular SB-Prolog
module
Modulex
modulo
modulo arithmetic