Path: utzoo!attcan!uunet!lll-winken!lll-tis!helios.ee.lbl.gov!pasteur!ames!mailrus!ncar!gatech!udel!burdvax!macbeth!lang
From: lang@macbeth.PRC.Unisys.COM (Francois-Michel Lang)
Newsgroups: comp.lang.prolog
Subject: Re: Folk Predicates
Keywords: predicates, collections
Message-ID: <8180@burdvax.PRC.Unisys.COM>
Date: 2 Nov 88 21:15:27 GMT
References: <7516@well.UUCP> <619@quintus.UUCP>
Sender: news@PRC.Unisys.COM
Organization: Unisys Corporation, Paoli Research Center; Paoli, PA
Lines: 21

In article <619@quintus.UUCP> ok@quintus.UUCP (Richard A. O'Keefe) writes:
>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).
>

The DEC-10 Prolog library is also available by anonymous FTP
at the University of Pennsylvania.
It lives on linc.cis.upenn.edu in pub/prolog-dec10.tar.Z
for anyone who wants it.

----------------------------------------------------------------------------
Francois-Michel Lang
Paoli Research Center, Unisys Corporation lang@prc.unisys.com (215) 648-7256
Dept of Comp & Info Science, U of PA      lang@cis.upenn.edu  (215) 898-9511