Is the ISO Prolog Standard Taken Seriously?