home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #30 / NN_1992_30.iso / spool / comp / lang / prolog / 2231 < prev    next >
Encoding:
Internet Message Format  |  1992-12-14  |  1.1 KB
  1. Path: sparky!uunet!pipex!warwick!uknet!edcastle!aifh!aifh!rbs
  2. From: rbs@uk.ac.ed.aisb (Robert Scott)
  3. Newsgroups: comp.lang.prolog
  4. Subject: What is a reduction?
  5. Message-ID: <RBS.92Dec14141031@mink.uk.ac.ed.aisb>
  6. Date: 14 Dec 92 14:10:31 GMT
  7. Sender: news@aifh.ed.ac.uk (Network News Administrator)
  8. Reply-To: rbs@aisb.ed.ac.uk
  9. Distribution: comp
  10. Organization: Dept AI, Edinburgh University, Scotland
  11. Lines: 25
  12.  
  13.  
  14. Is there a standard definition of what constitutes a reduction
  15. in a logic programming language?
  16. In particular:
  17.  
  18.   - are system goal reductions counted?
  19.   - are attempted goals in failed clauses also counted as reducitons?
  20.   - are guard goals in committed-choice languages counted?
  21.   - are output unifications in the body of a clause in committed-choice
  22.     languages counted?
  23.  
  24. Also, is the a difference between a reduction and a logical inference?
  25.  
  26. I'd like to know the definitions of these terms so that I can
  27. compare the speeds of various logic language implementations.
  28.  
  29.  
  30.  
  31.  
  32. --
  33. Rob Scott
  34. ---
  35. Department of AI              email: rbs@aisb.ed.ac.uk
  36. University of Edinburgh         Tel: 031-650-2718
  37. EDINBURGH, EH1 1HN
  38.