home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #26 / NN_1992_26.iso / spool / comp / lang / prolog / 2064 < prev    next >
Encoding:
Internet Message Format  |  1992-11-12  |  1007 b 
  1. Path: sparky!uunet!bcstec!bcsaic!milan@bcsaic.boeing.com
  2. From: milan@bcsaic.boeing.com (Milan Richter)
  3. Newsgroups: comp.lang.prolog
  4. Subject: Looking for a cross-referencer for Prolog
  5. Message-ID: <87038@bcsaic.boeing.com>
  6. Date: 11 Nov 92 23:20:09 GMT
  7. Sender: milan@bcsaic.boeing.com
  8. Organization: Boeing Computer Services
  9. Lines: 17
  10.  
  11. I need a program (cross-referencer?) for Prolog programs that can answer
  12. questions like:
  13.  
  14. - what predicates does predicate X call directly?
  15. - what predicates can be reached from predicate X? (transitive closure)
  16. - what predicates call predicate X directly?
  17. - from what predicates can predicate X be called? (closure again)
  18. - could predicate X eventually call itself? 
  19.  
  20. These questions translate into common graph algorithms, and I could use 
  21. Quintus Prolog library to write my own corss-referencer. Before I do that,
  22. is there any such program available, either in public domain or commercially?
  23. A Motif interface would be especially nice.
  24.  
  25. Thanks for help!
  26.  
  27. -- Milan Richter
  28.