Searching for "A Calculus for the Construction of Modular Prolog Programs." – sorted by Relevance.
-
Bibliography for An Algebraic Study of Modularity in Logic Programming
- 118:12-23 (1995). [SW87] D.T. Sannella, L.A. Wallen. A calculus for the construction of modular Prolog
- Add To MetaCart

