SMS dit: A 25-Year Perspective on Logic Programming