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 .
[“A Calculus for the Construction of Modular Prolog Programs”, D. Sannella et al, J Logic Prog 12:147-177 (1992)].
(1994-10-25)
Read Also:
- Modular sb-prolog
Modular Prolog
- Modulate
[moj-uh-leyt] /ˈmɒdʒ əˌleɪt/ verb (used with object), modulated, modulating. 1. to regulate by or adjust to a certain measure or proportion; soften; tone down. 2. to alter or adapt (the voice) according to the circumstances, one’s listener, etc. 3. Music. 4. Telecommunications. to cause the amplitude, frequency, phase, or intensity of (a carrier wave) to […]
- Modulating
[moj-uh-leyt] /ˈmɒdʒ əˌleɪt/ verb (used with object), modulated, modulating. 1. to regulate by or adjust to a certain measure or proportion; soften; tone down. 2. to alter or adapt (the voice) according to the circumstances, one’s listener, etc. 3. Music. 4. Telecommunications. to cause the amplitude, frequency, phase, or intensity of (a carrier wave) to […]
- Modulation
[moj-uh-ley-shuh n, mod-yuh-] /ˌmɒdʒ əˈleɪ ʃən, ˌmɒd yə-/ noun 1. the act of modulating. 2. the state of being modulated. 3. Music. transition from one key to another. 4. Grammar. /ˌmɒdjʊˈleɪʃən/ noun 1. the act of modulating or the condition of being modulated 2. (music) the transition from one key to another 3. (grammar) 4. […]
- Modulet
noun See modelet