Logo
Login Sign Up
Current Consolidated

BSI BS ISO/IEC 13211-1:1995

Information technology. Programming languages. Prolog -- General core
Best Price Guarantee
Instant

$466.15

2-5 Days

$466.15

SAVE 10%

$839.07


Sub Total (1 Item(s))

$ 0.00

Estimated Shipping

$ 0.00

Total (Pre-Tax)

$ 0.00


View in Library
or
British Standards Institution Logo

BSI BS ISO/IEC 13211-1:1995

Information technology. Programming languages. Prolog -- General core

PUBLISH DATE 2017
PAGES 254
BSI BS ISO/IEC 13211-1:1995

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:

  1. The representation of Prolog text,

  2. The syntax and constraints of the Prolog language,

  3. The semantic rules for interpreting Prolog text,

  4. The representation of input data to be processed by Prolog,

  5. The representation of output produced by Prolog, and

  6. The restrictions and limits imposed on a conforming Prolog processor.

NOTE - This part of 1S0/IEC 1321 I does not specify:

  1. 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;

  2. the minimal requirements of a data processing system that is capable of supporting an implementation of a Prolog processor;

  3. 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;

  4. the mechanisms by which Prolog text is prepared for use by a data processing system;

  5. the typographical representation of Prolog text published for human reading;

  6. the user environment (top level loop, debugger, library system, editor, compiler etc.) of a Prolog processor.

This part of 1S0/IEC I 321 I is intended for use by implementors and knowledgeable programmers, and is not a tutorial.

SDO BSI: British Standards Institution
Document Number ISO/IEC 13211-1
Publication Date Dec. 31, 2017
Language en - English
Page Count
Revision Level
Supercedes
Committee IST/5
Loading...

Failed to load document history.

Publish Date Document Id Type View