GSO ISO/IEC 13211-1:2022
ISO/IEC 13211-1:1995
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 for this standard are available in the store currently.
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/TS 23635:2024
ISO/TS 23635:2022
Gulf Standard
Blockchain and distributed ledger technologies — Guidelines for governance
GSO ISO/IEC 15773:2013
ISO/IEC 15773:1998
Gulf Standard
Information technology -- Telecommunications and information exchange between systems -- Broadband Private Integrated Services Network -- Inter-exchange signalling protocol -- Transit counter additional network feature
GSO ISO 11238:2017
ISO 11238:2012
Gulf Standard
Health informatics -- Identification of medicinal products -- Data elements and structures for the unique identification and exchange of regulated information on substances
Recently Published from Information Sector
GSO ISO/IEC/IEEE 42010:2025
ISO/IEC/IEEE 42010:2022
Gulf Standard
Software, systems and enterprise — Architecture description
GSO ISO/IEC TS 20000-5:2025
ISO/IEC TS 20000-5:2022
Gulf Standard
Information technology — Service management — Part 5: Implementation guidance for ISO/IEC 20000-1
GSO ISO/IEC 30179:2025
ISO/IEC 30179:2023
Gulf Standard
Internet of Things (IoT) — Overview and general requirements of IoT system for ecological environment monitoring
GSO ISO/IEC 18033-7:2025
ISO/IEC 18033-7:2022
Gulf Standard
Information security — Encryption algorithms — Part 7: Tweakable block ciphers