Newsgroups: comp.lang.prolog
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!news2.near.net!howland.reston.ans.net!gatech!swrinde!pipex!uknet!cix.compulink.co.uk!usenet
From: alanw@cix.compulink.co.uk ("Alan Westwood")
Subject: Re: Want comments for visual debugging
Message-ID: <D0r6Mn.CC6@cix.compulink.co.uk>
Organization: Logic Programming Associates
References: <D01B1z.7Hs@swi.psy.uva.nl>
Date: Tue, 13 Dec 1994 14:23:11 GMT
X-News-Software: Ameol
Lines: 45

> Article: 5577 of comp.lang.prolog
> Newsgroups: comp.lang.prolog
> 
> lechen@aiaia (Lei Chen) writes:
> 
> 
> >I have interest about visual tools for prolog debugging (execution
> tracing,>profiling ...), both ideas and implementations.
> 
> >I did some research upon FAQ, PRG and a few anonymous sites. It seems
> to me >that there are few prolog systems from public domain offering
> visual/graphic>facility for debugging. (Am I right? Might SWI-prolog be
> considered as one ? )
> 
> As the author, I should say `no'.  It has a very standard 4-port
> debugger that does not show actual variable names, nor locations in the
> source-file.
> 
> It has a couple of hooks that allow for redefining the tracer in various
> ways.  I know some people that have used these.  No full sourcelevel
> trace facilities however as the hooks donot provide sufficient
> information.  I'm improving this ...
> 
> >As for commercial system, I have been using Quintus, but I don't have
> chance >to try most of the rest. 
> 
> I know BIM has source-level tracer that looks a bit like xdbx/xgdb for
> C/Unix.
> 
> Another source of information is (if I recall correctly) the
> `TransparentProlog Engine' work done by Mark Eisenstadt of the Open
> University, UK.
> 
> >I am compiling those information while collecting. Any feedback will
> be highly>appreciated.
> 
>       Regards --- Jan

I'm not sure if you would call it "visual" but LPA has a source level
debugger, on our Windows and Dos products . Also TPM appeared on our
Macintosh Prolog .

Alan Westwood
LPA Ltd.
alanw@cix.compulink.co.uk
