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
OMR
49.74
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
OS GSO 150-2:2013
GSO 150-2:2013
Omani Standard
Expiration dates for food products - Part 2 :
Voluntary expiration dates
OS GSO 2055-1:2015
GSO 2055-1:2015
Omani Standard
HALAL FOOD - Part 1 : General Requirements
GSO 2055-1:2015
Gulf Technical Regulation
HALAL FOOD - Part 1 : General Requirements
Recently Published
ISO 10360-102:2026
International Standard
Geometrical product specifications (GPS) — Acceptance and reverification tests for coordinate measuring systems (CMS) — Part 102: Grammar of symbols for metrological characteristics and their specifications
ISO 21590:2026
International Standard
Traditional Chinese medicine — Crocus sativus stigma
ISO 6426-2:2026
International Standard
Horological vocabulary — Part 2: Technical and commercial definitions
ISO 17387:2026
International Standard
Intelligent transport systems — Lane change decision aid systems (LCDAS) — Performance requirements and test procedures