A logic programming based framework to allocate resources