Composing recursive logic programs withClausal join
- 1 September 1988
- journal article
- Published by Springer Nature in New Generation Computing
- Vol. 6 (2-3), 211-225
- https://doi.org/10.1007/bf03037138
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
- A Transformation System for Developing Recursive ProgramsJournal of the ACM, 1977