🚀 go-pugleaf

My instructions for downloading the draft Prolog standard have been
corrected by our ever-patient unix guru Lee McLoughlin and I hope they are
now correct. In some situations "anon" should read "anonymous", and 
regular expressions are NOT interpreted as I had imagined.
Also Lee has now uuencoded the Postscript source which brings it down
from 2MB to 640K.


Sorry for any problems caused.

Chris Moss



           Instructions for downloading the text
           =====================================

The files are stored in the subdirectory languages/prolog-std of the
UKUUG Software Distribution Service Archive which has the name
src.doc.ic.ac.uk, IP address 146.169.2.1, and X.25 address on the Janet
network of 000005102000.

The Tex sources are all those files with extension .tex or .sty.
The list with sizes is as follows

  lines  chars  file      contents

    92    2483  d7.tex    (macros and driver to print the definition)
    86    1603  d700.tex  (environment and macros)
 12861  111074  d710.tex  (1-6 References, definitions and syntax)
 17700  148506  d711.tex  (7 Semantics)
  6463   67048  d712.tex  (8.1-8.10 Built-in predicates 1)
  6118   64272  d713.tex  (8.11-8.14 I/O Predicates)
  2939   30622  d714.tex  (8.15-9.2 Logic and control)
  5575   48718  d715.tex  (10 Evaluable functors)
 23891  238828  d716.tex  (Annex A Formal Semantics)
  8839   82443  d718.tex  (Annex B Alternative error handling system)
   869    6838  d776.tex  (Editor's foreward)
  4194   42377  iso.sty   (LaTeX style sheet - ISO form of article.doc)
  1858   18475  iso9.sty  (LaTeX style sheet - ISO form of art10.doc)


The Postscript files, with sizes, are those with extension .ps, as
follows:

 2026428  draft.ps  (result of processing all the above, except..)
   19862  d776.ps   (Editor's foreward)

The Postscript file has now been compressed and uuencoded. The name
of the file is

           draft.ps.Z.uu



Means of access
---------------

1. Electronic mail. There is a server running on the archive available to
UK users ONLY.

Send the following email message to info-server@doc.ic.ac.uk with
a Subject: line of "wanted" and a message body of:

Request: sources
topic: languages/prolog-std/d7.tex
topic: languages/prolog-std/d700.tex
				and so on.
Request: end

If your mailer has a line limit you may prefix a line of the form:
line-limit: 10000

For general queries send an email message to ukuug-software@doc.ic.ac.uk

2. Anonymous ftp. Login using the name src.doc.ic.ac.uk, IP address
146.169.1.1, name anonymous and a password of your email address.

3. Anonymous FTAM. The archive runs the ISODE package which can be
reached via the Janet address 0000051020000, Internet on IP address
146.169.2.1 and over IXI on address 204334504108. Use the username of
anon and set the remote filestore to  be unix.

4. Guest NIFTP. Access via Janet, host name uk.ac.ic.doc.src, name
guest, password your email address (containing @).  All the filename
would be like:
	<PUB>languages/prolog-std/d7.tex

5. Magnetic Tape.  These are sent in tar format on 1600bpi half inch,
6250 half inch, QIC24 or QIC150 formats. The handling cost is 50 pounds
sterling per tape with a surcharge of 30% to non-UKUUG/EurOpen
members.  For the appropriate application form please send an email
request to ukuug-software@doc.ic.ac.uk.

6. Interactively via internet telnet, janet pad or iso vt (using the
addresses given above.  There is an account, login name sources, that
is  available  for  those who simply wish to wander around the
archive.