Skeletons and techniques for the systematic development of constraint logic programs
Spiro Michaylov · 2002
We study the systematic development of constraint logic programs from the viewpoint of "skeletons and techniques" as described by M. Kirschenbaum et al. (1994). We describe a number of fundamental skeleton classes for CLP, and generalize the notion of skeletons to deal with non-structural recursion. Then we describe a range of useful techniques for extending these skeletons. Furthermore, we introduce important classes of techniques that alter the control flow of skeletons in certain well-defined and desirable ways.>