CSA ISO/IEC 13211-1:97 (R2020)

CSA Preface Standards development within the Information Technology sector is harmonized with international standards development. Through the CSA Technical Committee on Information Technology (TCIT), Canadians serve as the Canadian Advisory Committee (CAC) on ISO/IEC Joint Technical Committee 1 on Information Technology (ISO/IEC JTCl) for the Standards Council of Canada (SCC), the I S 0 member body for Canada and sponsor of the Canadian National Committee of the IEC. Also, as a member of the International Telecommunication Union (ITU), Canada participates in the International Telegraph and Telephone Consultative Committee (ITU-T). This International Standard was reviewed by the CSA TClT under the jurisdiction of the Strategic Steering Committee on Information Technology and deemed acceptable for use in Canada. (A committee membership list is available on request from the CSA Committee Administrator.) From time to time, ISO/lEC may publish addenda, corrigenda, etc. The CSA TClT will review these documents for approval and publication. For a listing, refer to CSA Information Products Catalogue or CSA Info Update or contact a CSA Sales representative. This Standard has been formally approved, without modification, by these Committees and has been approved as a National Standard of Canada by the Standards Council of Canada. Scope ISO/IEC 13211 is designed to promote the applicability and portability of Prolog text and data among a variety of data processing systems. 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. NOTE - This part of ISO/IEC 13211 does not specify: (a) the size or complexity of Prolog text that will exceed the capacity of any specific data processing system or language processor, or the actions to be taken when the corresponding limits are exceeded; (b) the minimal requirements of a data processing system that is capable of supporting an implementation of a Prolog processor; (c) the methods of activating the Prolog processor or the set of commands used to control the environment in which Prolog text is prepared for execution and executed; (d) the mechanism by which Prolog text is prepared for use by a data processing system; (e) the typographical representation of Prolog text published for human reading; (f) the user environment (top level loop, debugger, library system, editor, compiler, etc.) of a Prolog processor. This part of ISO/IEC 13211 is intended for use by implementors and knowledgeable programmers, and is not a tutorial. 1.1 Notes Notes in this part of ISO/IEC 13211 have no effect on the language, Prolog text or Prolog processors that are defined as conforming to this part of ISO/IEC 13211. Reasons for including a note include: (a) Cross references to other clauses and subclauses of this part of ISO/IEC 13211 in order to help readers find their way around; (b) Warnings when a built-in predicate as defined in this part of ISO/IEC 13211 has a different meaning in some existing implementations.

CSA Preface Standards development within the Information Technology sector is harmonized with international standards development. Through the CSA Technical Committee on Information Technology (TCIT), Canadians serve as the Canadian Advisory Committee (CAC) on ISO/IEC Joint Technical Committee 1 on Information Technology (ISO/IEC JTCl) for the Standards Council of Canada (SCC), the I S 0 member body for Canada and sponsor of the Canadian National Committee of the IEC. Also, as a member of the International Telecommunication Union (ITU), Canada participates in the International Telegraph and Telephone Consultative Committee (ITU-T). This International Standard was reviewed by the CSA TClT under the jurisdiction of the Strategic Steering Committee on Information Technology and deemed acceptable for use in Canada. (A committee membership list is available on request from the CSA Committee Administrator.) From time to time, ISO/lEC may publish addenda, corrigenda, etc. The CSA TClT will review these documents for approval and publication. For a listing, refer to CSA Information Products Catalogue or CSA Info Update or contact a CSA Sales representative. This Standard has been formally approved, without modification, by these Committees and has been approved as a National Standard of Canada by the Standards Council of Canada. Scope ISO/IEC 13211 is designed to promote the applicability and portability of Prolog text and data among a variety of data processing systems. 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. NOTE - This part of ISO/IEC 13211 does not specify: (a) the size or complexity of Prolog text that will exceed the capacity of any specific data processing system or language processor, or the actions to be taken when the corresponding limits are exceeded; (b) the minimal requirements of a data processing system that is capable of supporting an implementation of a Prolog processor; (c) the methods of activating the Prolog processor or the set of commands used to control the environment in which Prolog text is prepared for execution and executed; (d) the mechanism by which Prolog text is prepared for use by a data processing system; (e) the typographical representation of Prolog text published for human reading; (f) the user environment (top level loop, debugger, library system, editor, compiler, etc.) of a Prolog processor. This part of ISO/IEC 13211 is intended for use by implementors and knowledgeable programmers, and is not a tutorial. 1.1 Notes Notes in this part of ISO/IEC 13211 have no effect on the language, Prolog text or Prolog processors that are defined as conforming to this part of ISO/IEC 13211. Reasons for including a note include: (a) Cross references to other clauses and subclauses of this part of ISO/IEC 13211 in order to help readers find their way around; (b) Warnings when a built-in predicate as defined in this part of ISO/IEC 13211 has a different meaning in some existing implementations.