## A Meta Constraint Logic Programming Scheme (1995)

by
Evelina Lamma
,
Paola Mello
,
Michela Milano

### BibTeX

@MISC{Lamma95ameta,

author = {Evelina Lamma and Paola Mello and Michela Milano},

title = {A Meta Constraint Logic Programming Scheme},

year = {1995}

}

### OpenURL

### Abstract

We present a Meta Constraint Logic Programming (MCLP) general scheme. The idea behind the work concerns the possibility of building meta CLP architectures by adding CLP solvers as meta level reasoners on the constraints of the underlying object systems. In this way, we are able not only to increase the expressive power of CLP, but also to implement several constraint satisfaction techniques like arc, path and in general, k-consistency by using lower degrees of consistency algorithms in order to obtain higher degrees of consistency. T...