Development of a Decentralized Traffic Control System Based on Logic Programming