Modular Prolog(ID:1697/mod032)

An extension of SB-Prolog (version 3.1) extended with ML- style modules.

For Sun-4
Related languages
ML => Modular Prolog   Influence
SB-Prolog => Modular Prolog   Extension of
References:
  • Sannella, D. et al, "A Calculus for the Construction of Modular Prolog Programs", J Logic Prog 12:147-177 1992 view details
    Resources
    • ftp

      "