Technical Specification
ISO/IEC TS 13211-3:2025
Programming languages — Prolog — Part 3: Definite clause grammar rules as an extension of ISO/IEC 13211-1
Reference number
ISO/IEC TS 13211-3:2025
Edition 1
2025-06
© ISO 2025
Technical Specification
Read sample
Published (Edition 1, 2025)

ISO/IEC TS 13211-3:2025

Language
Format
CHF 98
* Shipping costs not included
Convert Swiss francs (CHF) to your currency

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

General information

  • Status
     : Published
    Publication date
     : 2025-06
    Stage
    : International Standard published [60.60]
  • Edition
     : 1
    Number of pages
     : 18
  • Technical Committee :
    ISO/IEC JTC 1/SC 22
    ICS :
    35.060 
  • RSS updates

Life cycle

Sustainable Development Goals

This standard contributes to the following Sustainable Development Goal

9
Industry, Innovation and Infrastructure

Got a question?

Check out our Help and Support

  2. Store
  3. Store
  4. ICS
  5. 35
  6. 35.060
  7. ISO/IEC TS 13211-3:2025