Path: utzoo!utgpu!news-server.csri.toronto.edu!bonnie.concordia.ca!uunet!mcsun!ukc!edcastle!aiai!aiai.ed.ac.uk!timd
From: timd@aiai.ed.ac.uk (Tim Duncan)
Newsgroups: comp.lang.prolog
Subject: Re: Utilities for prolog programs development
Keywords: cross-reference, checker, tool
Message-ID: <3932@skye.ed.ac.uk>
Date: 12 Jan 91 19:19:25 GMT
References: <3786@cernvax.cern.ch>
Sender: news@aiai.ed.ac.uk
Reply-To: timd@aiai.uucp (Tim Duncan)
Organization: AIAI, University of Edinburgh, Scotland
Lines: 16

In article <3786@cernvax.cern.ch> roberto@cernvax.cern.ch writes:
>
>Hi there,
>
>    I'm looking for some utilities for prolog programs development, and
>maybe somebody knows where I could find something appropriate.
>

All the utilities you require (and many more) are available in the
Edinburgh Prolog library (written by Richard O'Keefe, David Warren,
Laurence Byrd, and others). The library is public domain and available 
from a number of sources (eg: distributed with Quintus Prolog). We (AIAI)
can provide a copy, but there is a charge for distribution costs. For details
email AIAI@ed.ac.uk

	-- Tim