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. E-mail: Brian Paxton <>.

["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

Try this search on Wikipedia, OneLook, Google

Nearby terms: modular arithmetic « Modular C « MODUlar LAnguage « Modular Prolog » Modular SB-Prolog » module » Modulex


Copyright Denis Howe 1985 General Business Directory.