jax@well.UUCP (Jack J. Woehr) (11/01/88)
Thanks to all who replied to my previous query regarding
strange bug in UNH Prolog, which turned out to be a Wetware Error.
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)
{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}
{} {}
{} jax@well ." Sysop, Realtime Control and Forth Board" {}
{} jax@chariot ." (303) 278-0364 300/1200 8-n-1 24 hrs." {}
{} JAX on GEnie ." Tell them JAX sent you!" {}
{} {}
{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}{}ok@quintus.uucp (Richard A. O'Keefe) (11/02/88)
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)
lang@macbeth.PRC.Unisys.COM (Francois-Michel Lang) (11/03/88)
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
thom@tuhold (Thom Fruehwirth) (11/04/88)
Beware of "How to solve it in Prolog". Even the "revised" version just published by Springer is full of typos and logical errors of any kind. Besides that, the programming style emphasizes the procedural aspects of Prolog (lots of side effects and misplaced cuts..). thom fruehwirth