ISO/IEC TS 13211-3:2025Published

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

Langages de programmation — Prolog — Partie 3: Règles de grammaire en clauses définies en tant qu'extension de l'ISO/IEC 13211-1

Abstract / 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