Intelligent Traffic Control via Logic Programming