×

zbMATH — the first resource for mathematics

A calculus for the construction of modular PROLOG programs. (English) Zbl 0754.68035
Summary: 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.

MSC:
68N17 Logic programming
Keywords:
PROLOG; modularity
PDF BibTeX XML Cite
Full Text: DOI