Schema-Guided Synthesis of Constraint Logic Programs

Pierre Flener, Hamza Zidoum, Brahim Hnich

DOI 10.1109/ase.1998.732620 dblp

Abstract

By focusing on the families of assignment and permutation problems (such as graph colouring and n-Queens), we show how to adapt D.R. Smith's (1990) KIDS approach for the synthesis of constraint programs (with implicit constraint satisfaction code), rather than applicative Refine programs with explicit constraint propagation and pruning code. Synthesis is guided by a global search schema and can be fully automated with little effort, due to some innovative ideas. CLP (Sets) programs are equivalent in expressiveness to our input specifications. The synthesised CLP (FD) programs would be, after optimising transformations, competitive with carefully hand-crafted ones.

BibTeX

@inproceedings{Flener-al:ASE98,
  author    = {Pierre Flener and
               Hamza Zidoum and
               Brahim Hnich},
  title     = {{Schema-Guided} Synthesis of Constraint Logic Programs},
  booktitle = {ASE},
  pages     = {168--176},
  publisher = {{IEEE} Computer Society},
  year      = {1998},
}

Schema-Guided Synthesis of Constraint Logic Programs

Abstract

Related papers