🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: comp.lang.prolog
Article #3514

Re: Prolog Libraries

#3514
From: Richard A. O'Keefe
Date: Tue, 26 Jul 1988 21:09
29 lines
1795 bytes
In article <1323@bingvaxu.cc.binghamton.edu>
vu0140@bingvaxu.cc.binghamton.edu (vu0140) writes:
>Here is what I found out about Prolog libraries:
>- There is one at Edinburgh.  It is available for 100 pounds.  Send to
>  Natalie Honeyman at nh@aiai.edinburgh.ac.uk for information.  This is
>  the DEC-10 Prolog Library.

About half of it has been upgraded to "Edinburgh Prolog" (n'e NIP).
There are one or two additions.

>- Supposedly there is one via an anonymous log-in to score.stanford.edu,
> but I have not been able to find anything resembling a Prolog library.

There used to be a copy of the DEC-10 Prolog library and some additional
goodies there.  It hasn't been there for years now.  Anyone know where it
went?  

>- I have seen a reference to a Quintus Prolog File Library but have no
>  idea how to reference it.

That's the Quintus Prolog Library.  It comes free with Quintus Prolog.
The Index of the latest version lists 838 exported predicates.  About
half of the old DEC-10 Prolog library is included: with fewer mistakes,
cleaner code, and greater speed (well sometimes).  It's actively maintained.
Some of it is even described in the manual.

As author of a good deal of the DEC-10 Prolog library, I would still be
interested in hearing about mistakes in it, additional things that people
would find useful, &c.  
Technical Details
Message-ID: <194@quintus.UUCP>
Path: arc1-ca.pugleaf.net!utzoo!attcan!uunet!lll-winken!lll-tis!ames!zodiac!joyce!sri-unix!quintus!ok
References: <1323@bingvaxu.cc.binghamton.edu>

Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!utzoo!attcan!uunet!lll-winken!lll-tis!ames!zodiac!joyce!sri-unix!quintus!ok
From: ok@quintus.uucp (Richard A. O'Keefe)
Newsgroups: comp.lang.prolog
Subject: Re: Prolog Libraries
Message-ID: <194@quintus.UUCP>
Date: 26 Jul 88 21:09:26 GMT
References: <1323@bingvaxu.cc.binghamton.edu>
Sender: news@quintus.UUCP
Reply-To: ok@quintus.UUCP (Richard A. O'Keefe)
Organization: Quintus Computer Systems, Inc.
Lines: 28