ISO/IEC TS 13211-3:2025
ISO/IEC TS 13211-3:2025 Programming languages — Prolog — Part 3: Definite clause grammar rules as an extension of ISO/IEC 13211-1
CDN $186.00
This publication was last reviewed and confirmed in 2025.
Programming languages — Prolog — Part 3: Definite clause grammar rules as an extension of ISO/IEC 13211-1
Description
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
Edition
1
Published Date
2026-06-19
Status
PUBLISHED
Pages
18
Language
English
Format
Secure PDF
Secure – PDF details
- Save your file locally or view it via a web viewer
- Viewing permissions are restricted exclusively to the purchaser
- Device limits - 3
- Printing – Enabled only to print (1) copy
See more about our Environmental Commitment
Abstract
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
Previous Editions
Can’t find what you are looking for?
Please contact us at:
Related Documents
-
ISO 8384:2019 Ships and marine technology – Dredgers – Vocabulary
CDN $82.00 Add to cart -
ISO 80004:2020 Nanotechnologies – Vocabulary – Part 8: Nanomanufacturing processes
CDN $82.00 Add to cart -
ISO 8927:1991 Earth-moving machinery – Machine availability – Vocabulary
CDN $251.00 Add to cart -
ISO 3833:1977 Road vehicles – Types – Terms and definitions
CDN $124.00 Add to cart
