How to Average in Prolog (2017)