N280 - ISO/IEC JTC1 SC22 WG17 (Prolog)

Draft-Minutes WG17 meeting 2019

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

The meeting was held via Zoom, Monday, June 3rd 17:05-18:05 UTC

1. Greeting and introduction of participants, administrativa

Klaus Daessler (Germany)
Michael Covington (United States)
Mark Thom (Canada)
Markus Triska (Austria)
Stefan Kral (Austria)
Ulrich Neumerkel (Austria, convenor)

1.1 2018 Minutes (N277) were approved.

1.2 Progress in Prolog systems

The new Prologs (Scryer, Tau, X, O) showed progess, particularly
Scryer (renamed from Rusty WAM).

2. DCG the current draft is N279.

3. Corrigenda, Discussion of N273

Was deferred.

4. Further Discussion

4.1 Michael Covington signalled his intention to resign, will continue
mailing list until a new mailing list is established.

4.2 Further directions

Connections with SC42 Artificial intelligence, W3C, Web Prolog and
conversational agents were discussed.


A. Resolutions

A 1 WG17 thanks Michael Covington for his service to WG17 and wishes
him the best for the future.

Individuals: Unanimous.
Countries: Unanimous.

A 2 WG17 welcomes new relations and asks Markus Triska to explore
cooperations with other groups such as SC 42 (Artificial
Intelligence), TC 307 (Blockchain, smart contracts), efforts for
Prolog on the Web, and governmental applications.

Individuals: Unanimous.
Countries: Unanimous.