GSO ISO/IEC 13211-1:2022
Gulf Standard
Current Edition
·
Approved on
12 May 2022
·
Information technology — Programming languages — Prolog — Part 1: General core
GSO ISO/IEC 13211-1:2022 Files
No files are available for this standard right now!
You can buy this standard from any member store
GSO ISO/IEC 13211-1:2022 Scope
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.
Best Sellers From Information Sector
GSO ISO/TR 18492:2017
ISO/TR 18492:2005
Gulf Standard
Long-term preservation of electronic document-based information
GSO ISO 16175-2:2013
ISO 16175-2:2011
Gulf Standard
Information and documentation -- Principles and functional requirements for records in electronic office environments -- Part 2: Guidelines and functional requirements for digital records management systems
GSO ISO/TR 13028:2013
ISO/TR 13028:2010
Gulf Standard
Information and documentation - Implementation guidelines for digitization of records
GSO ISO 18513:2016
ISO 18513:2003
Gulf Standard
Tourism services -- Hotels and other types of tourism accommodation -- Terminology
Recently Published from Information Sector
GSO ISO/TS 23635:2024
ISO/TS 23635:2022
Gulf Standard
Blockchain and distributed ledger technologies — Guidelines for governance
GSO ISO/IEC 30169:2024
ISO/IEC 30169:2022
Gulf Standard
Internet of Things (IoT) — IoT applications for electronic label system (ELS)
GSO ISO/IEC TR 24372:2024
ISO/IEC TR 24372:2021
Gulf Standard
Information technology — Artificial intelligence (AI) — Overview of computational approaches for AI systems
GSO ISO/IEC 30162:2024
ISO/IEC 30162:2022
Gulf Standard
Internet of Things (IoT) — Compatibility requirements and model for devices within industrial IoT systems