Article View: comp.lang.prolog
Article #2127Re: Looking for a cross-referencer for Prolog
From: Paul Singleton
Date: Tue, 17 Nov 1992 21:59
Date: Tue, 17 Nov 1992 21:59
19 lines
1446 bytes
1446 bytes
From article <87038@bcsaic.boeing.com>, by milan@bcsaic.boeing.com (Milan Richter):
> I need a program (cross-referencer?) for Prolog programs that can answer
> questions like:
>
> - what predicates does predicate X call directly?
> - what predicates can be reached from predicate X? (transitive closure)
> - what predicates call predicate X directly?
> - from what predicates can predicate X be called? (closure again)
> - could predicate X eventually call itself?
Another question:
- is predicate X called in a way which requires it to be "dynamic"?
----
__ __ Paul Singleton (Mr) JANET: paul@uk.ac.keele.cs
|__) (__ Computer Science Dept. other: paul@cs.keele.ac.uk
| . __). Keele University, Newcastle, tel: +44 (0)782 621111 x7355
Staffs ST5 5BG, ENGLAND fax: +44 (0)782 713082
Technical Details
Message-ID:
<BxvrqD.B3J@gabriel.keele.ac.uk>Path:
arc1-ca.pugleaf.net!sparky!uunet!charon.amdahl.com!pacbell.com!sgiblab!darwin.sura.net!wupost!gumby!yale!yale.edu!ira.uka.de!math.fu-berlin.de!news.netmbx.de!Germany.EU.net!mcsun!uknet!keele!newsReferences:
<87038@bcsaic.boeing.com>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!sparky!uunet!charon.amdahl.com!pacbell.com!sgiblab!darwin.sura.net!wupost!gumby!yale!yale.edu!ira.uka.de!math.fu-berlin.de!news.netmbx.de!Germany.EU.net!mcsun!uknet!keele!news From: csa09@seq1.keele.ac.uk (Paul Singleton) Newsgroups: comp.lang.prolog Subject: Re: Looking for a cross-referencer for Prolog Message-ID: <BxvrqD.B3J@gabriel.keele.ac.uk> Date: 17 Nov 92 21:59:01 GMT References: <87038@bcsaic.boeing.com> Sender: news@gabriel.keele.ac.uk (UseNet News Service) Organization: Keele University, England Lines: 19 Nntp-Posting-Host: seq1.cc.keele.ac.uk