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 <[email protected]>. ["A Calculus for the Construction of Modular Prolog Programs", D. Sannella et al, J Logic Prog 12:147-177 (1992)].Last updated: 1994-10-25
Nearby terms:
Modular C ♦ MODUlar LAnguage ♦ Modular Prolog ♦ Modular SB-Prolog ♦ module
Try this search on Wikipedia, Wiktionary, Google, OneLook.
Loading
