The driver of the Turtle program