Looking for a cross-referencer for Prolog

Thread View: comp.lang.prolog

4 messages

[T] Back to Threads [V] Tree View [G] Group Articles

4 total messages Started by Milan Richter Wed, 11 Nov 1992 23:20

#1589

Author: Milan Richter
Date: Wed, 11 Nov 1992 23:20

17 lines
1034 bytes

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? 

These questions translate into common graph algorithms, and I could use 
Quintus Prolog library to write my own corss-referencer. Before I do that,
is there any such program available, either in public domain or commercially?
A Motif interface would be especially nice.

Thanks for help!

-- Milan Richter

Re: Looking for a cross-referencer for Prolog

#1593

Author: Gerd Neugebauer
Date: Fri, 13 Nov 1992 09:57

22 lines
1563 bytes

>>>>> On 11 Nov 92 23:20:09 GMT, milan@bcsaic.boeing.com (Milan Richter) said:

MR> I need a program (cross-referencer?) for Prolog programs that can answer
MR> questions like:

 [...]

MR> These questions translate into common graph algorithms, and I could use 
MR> Quintus Prolog library to write my own corss-referencer.

[...]

How about the cross referencer supplied with Quintus Prolog? Maybe it's a
starting point for your efforts (or serves your needs).
RTFM about library(xref) --- At least in version 3.1.1 I am using.

--
     ____   ___    __   ___       Gerd Neugebauer
    /   /  /___) /'  ) /___)     FG Intellektik, FB Informatik, TH Darmstadt
   (___/- (___  /   / (___      Alexanderstr. 10, D-6100 Darmstadt
 _____/_____________________   Phone: (+49) 6151 16-5382
(____/                        Net: gerd@intellektik.informatik.th-darmstadt.de

Re: Looking for a cross-referencer for Prolog

#2129

Author: Milan Richter
Date: Tue, 17 Nov 1992 18:02

17 lines
1153 bytes

In article <GERD.92Nov13095757@kim.intellektik.informatik.th-darmstadt.de> gerd@intellektik.informatik.th-darmstadt.de (Gerd Neugebauer) writes:
>>>>>> On 11 Nov 92 23:20:09 GMT, milan@bcsaic.boeing.com (Milan Richter) said:
>
>MR> I need a program (cross-referencer?) for Prolog programs that can answer
>MR> questions like:
>
>How about the cross referencer supplied with Quintus Prolog? Maybe it's a
>starting point for your efforts (or serves your needs).
>RTFM about library(xref) --- At least in version 3.1.1 I am using.
>
>--
>     ____   ___    __   ___       Gerd Neugebauer

Thanks to Gerd and others who suggested using the cross-referencer supplied
with Quintus Prolog. I was not aware of it when I asked. 

-- Milan Richter

Re: Looking for a cross-referencer for Prolog

#2127

Author: Paul Singleton
Date: Tue, 17 Nov 1992 21:59

19 lines
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

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads