N277 - ISO/IEC JTC1 SC22 WG17

Minutes WG17 meeting 2018

Ulrich Neumerkel,
ISO/IEC JTC1 SC22 WG17 (Prolog) Convener

The meeting was held via WebEx, Monday, June 4th 17:05-18:20 UTC

1. Greeting and introduction of participants, administrativa

Michael Covington (United States)
Jose Morales (Spain)
Klaus Daessler (Germany)
Markus Triska (Austria)
Stefan Kral (Austria)
Ulrich Neumerkel (Austria, convenor)

1.1 2017 Minutes (N276) were approved.

1.2 Report on progress in Prolog systems since last meeting

1.2.1 New Prologs

This period showed four new Prologs!

X-Prolog for Android (https://play.google.com/store/apps/details?id=org.xprolog.xp).

Tau-Prolog, in Javascript, runs in browser (http://tau-prolog.org/)

Scryer Prolog, in Rust, passes syntax conformity
test. (https://github.com/mthom/scryer-prolog)

O-Prolog, Linux/Windows/Raspberry (http://eisl.kan-be.com/library/oprolog1.html)

1.2.2 Incremental developments

SICStus adopted all of Cor.3
(https://sicstus.sics.se/sicstus/docs/4.4.0/html/relnotes/)

ECLiPSe 7 offers a fully ISO conforming mode including a 5.1.e strict
mode (http://eclipseclp.org/relnotes/rel70.html)


2. DCG - Editorship

Discussion reminded that the current draft labels many areas as
implementation dependent which means that existing code using DCGs
without phrase/2,3 would all be implementation dependent.  Some
implementers may prefer to have the opportunity to define those parts
explicitly, thereby permitting predicates and non-terminals to be
mixed freely in conforming code.  Consensus to use "implementation
defined" in place of "implementation dependent".  See A 1.

3. Corrigenda

There are now many items obsolete in N273.  Discussion is deferred to
the mailing list.

A. Resolutions

A 1. Resolved that implementation dependent features for DCGs shall
rather be implementation defined.

A 2. WG17 expresses appreciation for Richard O'Keefe's input and hopes
he will participate also in the future.

A 3. Resolved that Ulrich Neumerkel take over as editor for DCG rules
DTR 13211-3.

Unanimous.

The next meeting will be on the first Monday in June, that is June 3rd
2019 at 17:00 UTC.