ISO/IEC TS 13211-3:2025

International Standard   Current Edition · Approved on 04 June 2025

Programming languages — Prolog — Part 3: Definite clause grammar rules as an extension of ISO/IEC 13211-1

ISO/IEC TS 13211-3:2025 Files

English 18 Pages
Current Edition
123.23 USD

ISO/IEC TS 13211-3:2025 Scope

This document promotes the applicability and portability of Prolog grammar rules in data

processing systems that support standard Prolog as defined in ISO/IEC 13211–1:1995/Cor

1:2007/Cor 2:2012/Cor 3:2017 and ISO/IEC 13211–2:2000. This document specifies:

a) The representation, syntax, and constraints of Prolog grammar rules

b) A logical expansion of grammar rules into Prolog clauses

c) A set of built-in predicates for parsing with grammar rules

Best Sellers

GSO 150-2:2013
 
Gulf Standard
Expiration dates for food products - Part 2 : Voluntary expiration dates
YSMO GSO 150-2:2020
GSO 150-2:2013 
Yemeni Technical Regulation
Expiration dates for food products - Part 2 : Voluntary expiration dates
YSMO GSO 2055-1:2020
GSO 2055-1:2015 
Yemeni Standard
HALAL FOOD - Part 1 : General Requirements
GSO 2055-1:2015
 
Gulf Technical Regulation
HALAL FOOD - Part 1 : General Requirements

Recently Published

ISO 24690:2025
 
International Standard
Glass reinforced thermosetting plastic (GRP) pipes — Test method for the determination of long-term pressure endurance strength
ISO 15614-11:2025
 
International Standard
Specification and qualification of welding procedures for metallic materials — Welding procedure test — Part 11: Electron and laser beam welding
IEC/TS 81001-2-2:2025
 
International Standard
Health software and health IT systems safety, effectiveness and security — Part 2-2: Guidance for the implementation, disclosure and communication of security needs, risks and controls
ISO 37190:2025
 
International Standard
Guidance for practical implementation of ISO 37155 series for supervising at each life cycle phase of smart community infrastructures