A Rewrite Approach for Constraint Logic Programming


Constraint Logic Programming (CLP) is an extension of Logic Programming aimed at replacing the uniication mechanism used in Prolog, by a more general operation called constraint satisfaction. This yields a more eecient evaluation process due to the use of appropriate algorithms designed speciically for a given constraint domain. On the other hand, it is… (More)
DOI: 10.1007/3-540-59175-3_111