Modularization and abstraction in logic programming

K. Furukawa,R. Nakajima,A. Yonezawa
DOI: https://doi.org/10.1007/BF03037423
1983-06-01
New Generation Computing
Abstract:
What problem does this paper attempt to address?