Text this: Geometric reasoning on the euclidean traveling salesperson problem in answer set programming1.