SMS dit: The art of Prolog /