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.
Preview
Previsualice esta norma en nuestra Plataforma de navegación en línea (OBP)
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 / Modificaciones
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
Got a question?
Check out our FAQs
Customer care
+41 22 749 08 88
Opening hours:
Monday to Friday - 09:00-12:00, 14:00-17:00 (UTC+1)