On: Definite clause grammars and symbolic differentiation

[upghost]

DCGs are now up for formal adoption in the Prolog ISO specification[1].

If at all possible, please encourage your national ISO representatives to vote for its adoption.

For the US it's ANSI SC 22 WG 17.

[1]: https://www.iso.org/standard/83635.html