Uncertainty in logic programming has been widely investigated in the last
decades, leading to multiple extensions of the classical LP paradigm. However,
few of these are designed as extensions of the well-established and powerful
CLP scheme for Constraint Logic Programming. In a previous work we have
proposed the SQCLP ({\em proximity-based qualified constraint logic
programming}) scheme as a quite expressive extension of CLP with support for
qualification values and proximity relations as generalizations of uncertainty
values and similarity relations, respectively.