Resumen
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.
Informaciones generales
-
Estado: PublicadoFecha de publicación: 1995-06Etapa: Norma Internacional confirmada [90.93]
-
Edición: 1Número de páginas: 199
-
Comité Técnico :ISO/IEC JTC 1/SC 22ICS :35.060
- RSS actualizaciones
Ciclo de vida
-
Ahora
-
00
Preliminar
-
10
Propuesta
-
20
Preparación
-
30
Comité
-
40
Consulta
-
50
Aprobación
-
60
Publicación
-
90
Revisión
-
95
Retirada
Correcciones
Corrigen la edición actual; gratuitas; no incluidas en el texto de la norma existente.PublicadoISO/IEC 13211-1:1995/Cor 1:2007
PublicadoISO/IEC 13211-1:1995/Cor 2:2012
PublicadoISO/IEC 13211-1:1995/Cor 3:2017
-
00