Prolog Standardisation