Information Technology - Programming Languages - Prolog - Part 1: General Core
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.
Project need:
Note: The information provided above was obtained by the Standards Council of Canada (SCC) and is provided as part of a centralized, transparent notification system for new standards development. The system allows SCC-accredited Standards Development Organizations (SDOs), and members of the public, to be informed of new work in Canadian standards development, and allows SCC-accredited SDOs to identify and resolve potential duplication of standards and effort.
Individual SDOs are responsible for the content and accuracy of the information presented here. The text is presented in the language in which it was provided to SCC.