scientific article; zbMATH DE number 4164123
From MaRDI portal
zbMATH Open0708.68011MaRDI QIDQ3490929FDOQ3490929
Authors: Maurice Bruynooghe, Luc De Raedt, Danny De Schreye 
Publication date: 1989
Title of this publication is not available (Why is that?)
Recommendations
- A multiple-clause folding rule using instantiation and generalization
- scientific article; zbMATH DE number 440117
- The transformational approach to program development
- Unfold/fold transformations of logic programs
- Unfolding--definition--folding, in this order, for avoiding unnecessary variables in logic programs
Learning and adaptive systems in artificial intelligence (68T05) Logic programming (68N17) Specification and verification (program logics, model checking, etc.) (68Q60)
Cited In (6)
- Explaining relaxed memory models with program transformations
- A typed \(\lambda\)-calculus for proving-by-example and bottom-up generalization procedure
- Some Transformations of Relevance to Report Generation
- A multiple-clause folding rule using instantiation and generalization
- Learning of constraint logic programs by combining unfolding and slicing techniques
- Compiling bottom-up and mixed derivations into top-down executable logic programs
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3490929)
