Historical
INCITS/ISO/IEC 13211-1:1995 (R2017)
Information technology - Prolog Language Standard - Part 1: General Core
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.
Content Provider
InterNational Committee for Information Technology Standards [incits]