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 <mprolog@dcs.ed.ac.uk>.
["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 |
