A methodology for traffic signal control based on logic programming