A Calculus for the Construction of Modular Prolog Programs

@article{Sannella1987ACF,
  title={A Calculus for the Construction of Modular Prolog Programs},
  author={Donald Sannella and Lincoln A. Wallen},
  journal={J. Log. Program.},
  year={1987},
  volume={12},
  pages={147-177}
}
D We present a module language for PROLOG based on the theory of modularity underlying the Standard ML module system. The language supports the construction of hierarchically structured programs from parametrized components and provides a form of structural data abstraction. A formal semantics is given for the system which translates modular programs into conventional programs. a 

Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 29 CITATIONS

References

Publications referenced by this paper.
SHOWING 1-3 OF 3 REFERENCES

Introducing Institutions , in : Proceedings ofthe Logics of Programming Workshop , Carnegie - Mellon , Lecture Notes in Comput

J. A. Goguen, R. M. Burstall
  • 1984