Specifies: a)The representation of Prolog text, b)The syntax and constraints of the Prolog language, c) The semantic rules for interpreting Prolog text, d)the representation of input data to be processed by Prolog, e)The representation of output produced by Prolog, and f)The restrictions and limits imposed on a conforming Prolog processor.