Standard: CSA ISO/IEC 13211-1
INFORMATION TECHNOLOGY - PROGRAMMING LANGUAGES - PROLOG - PART 1: GENERAL CORE
This standard is available for individual purchase.
IHS Standards Expert subscription, simplifies and expedites the process for finding and managing standards by giving you access to standards from over 370 standards developing organizations (SDOs).FEATURES & BENEFITS
- Maximize product development and R&D with direct access to over 1.6 million standards
- Discover new markets: Identify unmet needs and discover next-generation technologies
- Improve quality by leveraging consistent standards to meet customer and market requirements
- Minimize risk: Mitigate liability and better understand compliance regulations
- Boost efficiency: Speed up research, capture and reuse expertise
HOW TO SUBSCRIBE
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) Prolog, The representation of input data to be processed by
e) The representation of output produced by Prolog,
f) Prolog processor. and The restrictions and limits imposed on a conforming
NOTE - This part of ISOLEC 1321 I 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 mechanisms 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. Notes Notes in this p a t of ISO/IEC 13211 have no effect on the language, Prolog text or Prolog processors that are defined 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 par? of ISO/IEC 13211 has a different meaning in some existing implementations.
|Document Number:||csa iso/iec 13211-1|
|Most Recent Revision:||YES|