ISO/IEC-13211-2 › Information technology -- Programming languages -- Prolog -- Part 2: Modules

ISO/IEC-13211-2 - 1ST EDITION - CURRENT


Document Center Inc. is an authorized dealer of ISO standards.
The following bibliographic material is provided to assist you with your purchasing decision:


This part of ISO/IEC 13211 is designed to promote the applicability and portability of Prolog modules that contain Prolog text complying with the requirements of the Programming Language Prolog as specified in this part of ISO/IEC 13211.

This part of ISO/IEC 13211 specifies:

  • The representation of Prolog text that constitutes a Prolog module,
  • The constraints that shall be satisfied to prepare Prolog modules for execution, and
  • The requirements, restrictions and limits imposed on a conforming Prolog processor that processes modules.

This part of ISO/IEC 13211 does not specify:

  • The size or number of Prolog modules that will exceed the capacity of any specific data processing system or language processor, or the actions to be taken when the limit is exceeded,
  • The methods of activating the Prolog processor or the set of commands used to control the environment in which Prolog modules are prepared for execution,
  • The mechanisms by which Prolog modules are loaded,
  • The relationship between Prolog modules and the processor-specific file system.
ORDER

Price:

$161.02        


Want this as a site license?

To find similar documents by classification:

35.060 (Languages used in information technology)

This document comes with our free Notification Service, good for the life of the document.

This document is available in either Paper or PDF format.

 

Customers who bought this document also bought:

ISO/IEC-13211-1
Information technology - Programming languages - Prolog - Part 1: General core

ISO/IEC-16022
Information technology - Automatic identification and data capture techniques - Data Matrix bar code symbology specification

IEC-60529
Degrees of protection provided by enclosures (IP Code)

Document Number

ISO/IEC 13211-2:2000

Revision Level

1ST EDITION

Status

Current

Publication Date

June 1, 2000

Committee Number

ISO/IEC JTC 1/SC 22/WG 17