Traffic control: a logic programming approach and a real application