ISO/IEC TS 13211-3:2025

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

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

Language in which you want to receive the document.

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




Access Genorma App Everywhere

Get fast and easy access to top European and International standards (EN, ISO, IEC) via your mobile phone, tablet or the web.