Indisponible en français

État actuel : Publiée (En cours d'examen)

Le dernier examen de cette norme date de 2021. Cette édition reste donc d’actualité.
Format Langue
PDF
Papier
  • CHF129
Convertir les francs suisses (CHF) dans une autre devise

Résumé

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:

a) The representation of Prolog text that constitutes a Prolog

module,

b) The constraints that shall be satisfied to prepare Prolog

modules for execution, and

c) The requirements, restrictions and limits imposed on a

conforming Prolog processor that processes modules.

This part of ISO/IEC 13211 does not specify:

a) 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,

b) 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,

c) The mechanisms by which Prolog modules are loaded,

d) The relationship between Prolog modules and the

processor-specific file system.

1.1 Notes

Notes in this part of ISO/IEC 13211 have no effect on the

language, Prolog text, module 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.

Standard first page

Prévisualiser 

Prévisualiser cette norme sur notre Plateforme de consultation en ligne (OBP)

Informations générales

  • État actuel
     : Publiée
    Date de publication
     : 2000-06
    Stade
    : Norme internationale confirmée [90.93]
  • Edition
     : 1
  • Comité technique :
    ISO/IEC JTC 1/SC 22
    ICS :
    35.060 
  • RSS mises à jour

Cycle de vie

Vous avez une question?

Consulter notre FAQ

Service à la clientèle
+41 22 749 08 88

Horaires d’ouverture:
De lundi à vendredi - 09:00-12:00, 14:00-17:00 (UTC+1)

  2. Store
  3. Catalogue de normes
  4. ICS
  5. 35
  6. 35.060
  7. ISO/IEC 13211-2:2000