Professor of Computational Logic at RMIT University and long-time Prolog fan.