home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / comp / lang / prolog / 2102 < prev    next >
Encoding:
Internet Message Format  |  1992-11-18  |  1.5 KB
  1. Path: sparky!uunet!dtix!darwin.sura.net!zaphod.mps.ohio-state.edu!uwm.edu!ux1.cso.uiuc.edu!cs.uiuc.edu!cs.uiuc.edu!bronsard
  2. From: bronsard@cs.uiuc.edu (Francois Bronsard)
  3. Newsgroups: comp.lang.prolog
  4. Subject: A paper on Directionality and Termination
  5. Message-ID: <Bxx14z.MEM@cs.uiuc.edu>
  6. Date: 18 Nov 92 14:19:46 GMT
  7. Organization: University of Illinois, Dept of Comp Sci, Urbana, IL
  8. Lines: 25
  9.  
  10. Hi,
  11. We had presented a paper titled "A framework of directionality
  12. for proving the termination of logic programs" at the JICSLP '92
  13. in Washington DC last week. Since some of our audience expressed
  14. interest in the paper, we are making available the long version
  15. of the paper, complete with examples and proofs.  The paper can be
  16. obtained by anonymous ftp on the machine a.cs.uiuc.edu in the
  17. directory /pub/reddy/termination.  The files are termination.dvi (for
  18. a dvi version) or termination.ps (for a postscript version).
  19.  
  20. The essential idea is two-fold:
  21.  
  22. a. To describe a rich notion of directionality for logic programs
  23. via a combination of MODES and REGULAR TREES. Modes can
  24. be quite useful in reasoning about interesting semantic
  25. properties of logic programs.
  26.  
  27. b. To use the above notion of modes in proving termination of logic
  28. programs. We present some simple termination theorems and give examples
  29. of powerful (yet simple) well-founded orderings that can be used to
  30. prove termination of non-trivial programs in a simple manner.
  31.  
  32. We'd appreciate comments.
  33.  
  34. Francois Bronsard, T.K. Lakshman, and Uday S. Reddy
  35.