Test en #Programación Declarativa: Lógica y Restricciones