Path: utzoo!yunexus!geac!syntron!jtsv16!uunet!lll-winken!arisia!quintus!ok
From: ok@quintus.uucp (Richard A. O'Keefe)
Newsgroups: comp.lang.prolog
Subject: Re: Folk Predicates
Keywords: predicates, collections
Message-ID: <619@quintus.UUCP>
Date: 2 Nov 88 08:44:52 GMT
Article-I.D.: quintus.619
References: <7516@well.UUCP>
Sender: news@quintus.UUCP
Reply-To: ok@quintus.UUCP (Richard A. O'Keefe)
Organization: Quintus Computer Systems, Inc.
Lines: 14

In article <7516@well.UUCP> jax@well.UUCP (Jack J. Woehr) writes:
>	Next Question: Is there a "canonical" collection of "folk
>predicates" like append, select, sort, quicksort, etc.,  the sort
>of thing one might seek in Forth under a title like "Forth Toolkit,
>Volume 1"? ( I have C&M S&S B&H already)

There is the public-domain DEC-10 Prolog library, available from
the Department of AI, University of Edinburgh.  There is also a
collection "How to Solve it in Prolog" (I haven't actually got a
copy, but it came from the National Engineering Laboratory in Lisbon).

BEWARE!  DO NOT USE QUICKSORT UNLESS YOU *WANT* A SLOW UNSTABLE SORT!

There is also the Quintus Prolog library which comes free with every
copy of Quintus Prolog...  (current contents >800 exported predicates)