From honeydew.srv.cs.cmu.edu!rochester!udel!udel!gatech!europa.eng.gtefsd.com!uu net!pipex!sunic!sics.se!news Thu Aug 26 12:19:58 EDT 1993 Article: 8424 of comp.lang.prolog Xref: honeydew.srv.cs.cmu.edu comp.lang.prolog:8424 Newsgroups: comp.lang.prolog Path: honeydew.srv.cs.cmu.edu!rochester!udel!udel!gatech!europa.eng.gtefsd.com!u unet!pipex!sunic!sics.se!news From: cdsm@doc.ic.ac.uk (Chris Moss,561H,5075,) Subject: Prolog 1000 database available by ftp Message-ID: <9308260745.AA26140@sics.se> Apparently-To: Resent-Message-Id: <9308260745.AA26140@sics.se> Resent-Date: Thu, 26 Aug 1993 09:45:24 +0200 Originator: matsc@sics.se Sender: matsc@sics.se (Mats Carlsson) Nntp-Posting-Host: swan.doc.ic.ac.uk Resent-To: sicstus-users@sics.se Organization: Department of Computing, Imperial College, University of London, U K. Resent-From: Mats Carlsson Date: Mon, 16 Aug 1993 14:41:45 GMT Lines: 37 The Prolog 1000 database is now available for ftp access from Imperial College. It includes more than 500 entries and is in SGML format, which is very close to the "electronic entry form" that many people have used. It can be read and printed as an ASCII document. To access it, login using ftp to src.doc.ic.ac.uk, with a user name of "anonymous" and a password of your email address, and issue the command: get packages/prolog-progs-db/prolog1000.v1 The full path to the file is in question is: computing/programming/languages/prolog/applications-db/prolog1000.v1.gz The file above is in gzip format (the gnu file compressor). Under ftp if the user does 'get ... prolog1000.v1' the archive here will expand the file before sending it back. Alternatively if you have a copy of gunzip, you can use the full file name which will get the compressed file (more quickly - it is about 192KB compressed and 544KB uncompressed). We would like to know who is using the information and are a little cautious about supplying ready-made address lists. Therefore we have not included the full address details for authors of programs, but this information will be sent, for a reasonable subset, by sending an email request to Al Roth (alroth@cix.compulink.co.uk), specifying program names and numbers and including full postal address. We're not at the target yet, so if ANY of your programs, or other programs you have used or heard about are not in this list please let us know immediately as we would like to include them. Chris Moss -- Mats Carlsson SICS, PO Box 1263, S-164 28 KISTA, Sweden Internet: matsc@sics.se Tel: +46 8 7521543 Ttx: 812 6154 7010 SICS Fax: +46 8 7517230