Skeletons and techniques for the systematic development of constraint logic programs

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