Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!linus!decvax!harpo!seismo!hao!hplabs!sri-unix!Restivo@SU-SCORE.ARPA
From: Restivo@SU-SCORE.ARPA
Newsgroups: net.lang.prolog
Subject: LP Library UpDate
Message-ID: <15188@sri-arpa.UUCP>
Date: Fri, 6-Jan-84 14:14:52 EST
Article-I.D.: sri-arpa.15188
Posted: Fri Jan  6 14:14:52 1984
Date-Received: Sun, 8-Jan-84 04:44:53 EST
Lines: 53

From:  Chuck Restivo  <Restivo@SU-SCORE.ARPA>

Thanks to Richard O'Keefe several new and updated LP utilities
have been added to {SU-SCORE}PS:<Prolog> .

Ask.Pl          Purpose:  updated version

DCSG.Pl         Purpose:  Preprocessor for definite clause slash
                          grammars

DCSG.DC         Purpose:  Two examples that use DCSG.Pl

Heaps.Pl        Purpose:  code for binary heaps

Helper.Pl       Purpose:  Print extracts from help files
                          { O'Keefe and Pereira }

Medic.Pl        Purpose:  updated version

TrySee.Pl       Purpose:  Searches through several directories,
                          extensions to find a file


Koenraad Lecot submitted a comprehensive bibliography for
LP topics, it is available on {SU-SCORE}'s <Prolog> 
directory as:

Prolog_Bib_Lecot.Doc

Comments, suggestions etc. might be mailed to Koen@UCLA-CS,
updates will probably be announced here.

Prolog-Bib.Doc and Prolog-Bib.Press have been renamed

Prolog_Bib_Pereira.Doc  and  Prolog_Bib_Pereira.Press


Richard O'Keefe submitted a paper on a Polymorphic Type Scheme
for Prolog.  It, along with it's Scribe library file are
available on <Prolog> as

OKeefe_TPL.Mss  and  OKeefe_MyScrb.Lib


Any questions about access to these can be directed to
my.  I have a limited number of hard copies that can
be mailed for those with no access to the electronic
networks.

As always, if you have something interesting, useful,
*send* it in, please !

-- ed