home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / comp / lang / prolog / 2097 < prev    next >
Encoding:
Internet Message Format  |  1992-11-17  |  1.4 KB
  1. Path: 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
  2. From: csa09@seq1.keele.ac.uk (Paul Singleton)
  3. Newsgroups: comp.lang.prolog
  4. Subject: Re: Looking for a cross-referencer for Prolog
  5. Message-ID: <BxvrqD.B3J@gabriel.keele.ac.uk>
  6. Date: 17 Nov 92 21:59:01 GMT
  7. References: <87038@bcsaic.boeing.com>
  8. Sender: news@gabriel.keele.ac.uk (UseNet News Service)
  9. Organization: Keele University, England
  10. Lines: 19
  11. Nntp-Posting-Host: seq1.cc.keele.ac.uk
  12.  
  13. From article <87038@bcsaic.boeing.com>, by milan@bcsaic.boeing.com (Milan Richter):
  14.  
  15. > I need a program (cross-referencer?) for Prolog programs that can answer
  16. > questions like:
  17. > 
  18. > - what predicates does predicate X call directly?
  19. > - what predicates can be reached from predicate X? (transitive closure)
  20. > - what predicates call predicate X directly?
  21. > - from what predicates can predicate X be called? (closure again)
  22. > - could predicate X eventually call itself? 
  23.  
  24. Another question:
  25.  
  26.   - is predicate X called in a way which requires it to be "dynamic"?
  27. ----
  28.   __   __    Paul Singleton (Mr)           JANET: paul@uk.ac.keele.cs
  29.  |__) (__    Computer Science Dept.        other: paul@cs.keele.ac.uk
  30.  |  .  __).  Keele University, Newcastle,    tel: +44 (0)782 621111 x7355
  31.              Staffs ST5 5BG, ENGLAND         fax: +44 (0)782 713082
  32.