Prácticas en #Programación Declarativa: Lógica y Restricciones