[net.lang.prolog] Prolog Standardization

cdsm@doc.ic.ac.uk (Chris Moss) (06/06/86)

Several people have asked me about the Prolog standard, so I
thought I would circulate some information.

A committee has been running for somewhat more than a year now,
and we are hoping to produce a draft for comments by September
of this year.  It broadly follows Clocksin & Mellish but we are
trying to clean it up and add a few important features such as
modules.  The French standards body AFNOR also has a committee
and we are in joint consultation with them. The ISO committee
SC/22 is looking at AI languages - i.e. LISP & Prolog - but are
leaving the lead on Prolog to the BSI (British Standards
Institution) and will probably ask them to lead the working
group.  ANSI has evidently no interest in standardizing Prolog.

The secretary of the British Standards committee for Prolog is
        Roger Scowen,
	National Physical Laboratory,
	Teddington, Middlesex, TW11 0LW
	U.K.
	Mail address: krg0@alvey.uk
	Phone: (1) 977 3222 Ext 6956

Anyone who wants to keep in touch with what the working group is
doing can write to Roger and ask to be put on the mailing list
and is asked to make a contribution towards the (voluminous)
paperwork. There are several US companies coming to meetings.

Chris Moss. Imperial College, London. 
cdsm@doc.ic.ac.uk or cdsm@icdoc.uucp