Geahča maid: A 25-Year Perspective on Logic Programming