Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!usc!elroy.jpl.nasa.gov!ames!eos!shelby!unix!quintus!dave From: dave@quintus.UUCP (David Bowen) Newsgroups: comp.lang.prolog Subject: Re: Utilities for prolog programs development Keywords: cross-reference, checker, tool Message-ID: <1474@quintus.UUCP> Date: 21 Jan 91 02:29:17 GMT References: <3786@cernvax.cern.ch> <3932@skye.ed.ac.uk> Reply-To: dave@quintus.UUCP (David Bowen) Organization: Quintus Corporation Lines: 5 I must correct the statement by Tim Duncan that Quintus distributes the public domain Edinburgh Prolog library. That was where we started from, but we (mainly Richard O'Keefe) have revised much of it and extended it greatly. We've also documented the most important parts of it, making it a lot easier to find things.