Search
×
FR

Placeholder headline

This is just a placeholder headline

ISO 3208:1974 Road vehicles — Evaluation of protrusions inside passenger cars

$

BUY NOW

Placeholder headline

This is just a placeholder headline

ISO 105-G02:1993 Textiles — Tests for colour fastness — Part G02: Colour fastness to burnt-gas fumes

$

82

BUY NOW

Placeholder headline

This is just a placeholder headline

ISO 2400:2025 Non-destructive testing — Ultrasonic testing — Specification for standard block No. 1

$

125

BUY NOW

Placeholder headline

This is just a placeholder headline

ISO 7613:2025 Ships and marine technology — Hopper dredger — Suction tube position monitor

$

125

BUY NOW

Placeholder headline

This is just a placeholder headline

ISO 7334:2025 Earth-moving machinery — Vocabulary and taxonomy for automation and autonomy

$

186

BUY NOW

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

SKU: 5652cdea792a Categories: ,

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 Detail Icon

English

Format Secure Icon

Secure PDF

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: