Historical
INCITS/ISO/IEC 13211-1-1995 (R2007)
Information Technology - Prolog Language Part 1: General Core
This part of ISO/IEC 13211 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]