Menu

0

ISO/IEC TS 13211-3:2025

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

Publication date:   Jun 4, 2025

General information

60.60   Standard published   Jun 4, 2025

ISO/IEC

ISO/IEC JTC 1/SC 22 Programming languages, their environments and system software interfaces

Technical Specification

35.060   Languages used in information technology

Buying

  Published

PDF - €121.00

  English  



Buy

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

Life cycle

NOW

PUBLISHED
ISO/IEC TS 13211-3:2025
60.60 Standard published
Jun 4, 2025