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

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 5338:2025
ISO/IEC 5338:2023 
Gulf Standard
Information technology — Artificial intelligence — AI system life cycle processes
GSO ISO/IEC 24773-2:2025
ISO/IEC 24773-2:2024 
Gulf Standard
Software and systems engineering — Certification of software and systems engineering professionals — Part 2: Guidance regarding description of knowledge, skills, and competencies contained in schemes
GSO ISO 18128:2025
ISO 18128:2024 
Gulf Standard
Information and documentation — Records risks — Risk assessment for records management
GSO ISO/IEC TR 5891:2025
ISO/IEC TR 5891:2024 
Gulf Standard
Information security, cybersecurity and privacy protection — Hardware monitoring technology for hardware security assessment