You are here: irt.org | FOLDOC | 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)].
(1994-10-25)
Nearby terms: modular arithmetic « Modular C « MODUlar LAnguage « Modular Prolog » Modular SB-Prolog » module » Modulex
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL