Domain Independent Propagation Thierry Le Provost and Mark Wallace Abstract Recent years have seen the emergence of two main approaches to integrating constraints into logic programming. The CLP Scheme introduces

First Page		Document Content
Date: 2015-04-07 08:54:20		Domain Independent Propagation Thierry Le Provost and Mark Wallace Abstract Recent years have seen the emergence of two main approaches to integrating constraints into logic programming. The CLP Scheme introduces Add to Reading List Source URL: eclipseclp.org Download Document from Source Website File Size: 164,04 KB Share Document on Facebook