Résumé
Designed to promote the applicability and portability of Prolog text and data among a variety of data processing systems. Specifies: the representation of Prolog text; the syntax and constraints of the Prolog language; the semantic rules for interpreting Prolog text; the representation of input data to be processed by Prolog; the representation of output produced by Prolog and the restrictions and limits imposed on a conforming Prolog processor.
Informations générales
-
État actuel: PubliéeDate de publication: 1995-06Stade: Norme internationale confirmée [90.93]
-
Edition: 1
-
Comité technique :ISO/IEC JTC 1/SC 22ICS :35.060
- RSS mises à jour
Cycle de vie
-
Actuellement
PubliéeISO/IEC 13211-1:1995
Les normes ISO sont réexaminées tous les cinq ans
Stade: 90.93 (Confirmée)-
00
Préliminaire
-
10
Proposition
-
20
Préparation
-
30
Comité
-
40
Enquête
-
50
Approbation
-
60
Publication
-
90
Examen
-
95
Annulation
Rectificatifs techniques
Corrigent l’édition en vigueur; gratuits; non inclus dans le texte de la norme en vigueur.PubliéeISO/IEC 13211-1:1995/Cor 1:2007
PubliéeISO/IEC 13211-1:1995/Cor 2:2012
PubliéeISO/IEC 13211-1:1995/Cor 3:2017
-
00