A Generic Scheme for Qualified Constraint Functional Logic Progamming

Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz

Qualification has been recently introduced as a generalization of uncertainty in the field of Logic Programming. In this report we investigate a more expressive language for First-…