Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap

Modular Prolog

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


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

©2018 Martin Webb