Modular SB-Prolog ==>
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
|
