home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / comp / lang / prolog / 2428 < prev    next >
Encoding:
Internet Message Format  |  1993-01-23  |  1.7 KB
  1. Path: sparky!uunet!zaphod.mps.ohio-state.edu!news.acns.nwu.edu!uicvm.uic.edu!u35395
  2. Organization: University of Illinois at Chicago
  3. Date: Fri, 22 Jan 1993 18:48:13 CST
  4. From: C. M. Sperberg-McQueen <U35395@uicvm.uic.edu>
  5. Message-ID: <93022.184813U35395@uicvm.uic.edu>
  6. Newsgroups: comp.lang.prolog
  7. Subject:  Efficiency and 'good' Prolog (was: Help !!)
  8. References: <lenn.726916615@du9ds4>
  9.  <j_hamer-210193105028@john-ha.cs.aukuni.ac.nz>
  10.  <93021.154835U35395@uicvm.uic.edu> <1993Jan21.223806.19004@colorado.edu>
  11. Lines: 24
  12.  
  13. > Because some of us do write large Prolog programs that depend on efficiency,
  14. > and it's better to instill good programming habits from the beginning than to
  15. > overcome bad programming practice later on.
  16.  
  17. Proof, I guess, that using a logic programming language does not make us
  18. logical.  If I were willing to accept your equation of 'good programming
  19. habits' with fast code, I wouldn't have posted my note about writing
  20. Prolog as though it were Pascal with commas.  If you want to make anyone
  21. believe it, you should provide an argument or two in favor of it, not
  22. just say it again.
  23.  
  24. The real problem for me in your note, however, is your assertion that
  25. relying on Prolog's declarative semantics is 'bad programming practice'.
  26. The relative clarity of its declarative interpretation is one of the
  27. most appealing things about Prolog -- God forbid we should begin to
  28. think of it as a 'bad habit' if we take advantage of one of the best
  29. features of the language!
  30.  
  31. If you write big systems that have to be optimized to be fast, you have
  32. a right to worry about writing fast code.  You do not have the right to
  33. spread the pernicious falsehood that speed is the only criterion of good
  34. code.
  35.  
  36. -C. M. Sperberg-McQueen
  37.