Regarding the comment "13211-3 conformity approved" that appears in the thread:
This refers to the newly published Technical Specification (TS) of Definite Clause Grammars which are part of the Prolog standard since June 2025 via ISO/IEC TS 13211-3:2025:
This standard was achieved thanks to the great cooperation between many experts over many years. Its publication is an important milestone in the development of Prolog, since this grammar mechanism can be rightly said to mark the beginning of Prolog, a programming language rooted in natural language processing tasks:
With recent Prolog systems such as Scryer Prolog and Trealla Prolog, also very large amounts of text can be efficiently processed with this formalism, using library(pio) to apply such a grammar directly to files.
This refers to the newly published Technical Specification (TS) of Definite Clause Grammars which are part of the Prolog standard since June 2025 via ISO/IEC TS 13211-3:2025:
https://www.iso.org/standard/83635.html
This standard was achieved thanks to the great cooperation between many experts over many years. Its publication is an important milestone in the development of Prolog, since this grammar mechanism can be rightly said to mark the beginning of Prolog, a programming language rooted in natural language processing tasks:
https://en.wikipedia.org/wiki/METEO_System
With recent Prolog systems such as Scryer Prolog and Trealla Prolog, also very large amounts of text can be efficiently processed with this formalism, using library(pio) to apply such a grammar directly to files.