home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #18 / NN_1992_18.iso / spool / comp / lang / prolog / 1561 < prev    next >
Encoding:
Internet Message Format  |  1992-08-19  |  1.6 KB
  1. Path: sparky!uunet!charon.amdahl.com!pacbell.com!mips!swrinde!elroy.jpl.nasa.gov!ucla-cs!bop.cs.ucla.edu!stott
  2. From: stott@bop.cs.ucla.edu (Dr D Stott Parker)
  3. Newsgroups: comp.lang.prolog
  4. Subject: single_var_warnings
  5. Message-ID: <1992Aug19.181551.14419@cs.ucla.edu>
  6. Date: 19 Aug 92 18:15:51 GMT
  7. Sender: usenet@cs.ucla.edu (Mr Usenet)
  8. Organization: University of California, Los Angeles
  9. Lines: 38
  10. Nntp-Posting-Host: bop.cs.ucla.edu
  11.  
  12. Regarding singleton variable warnings in SICStus Prolog,
  13. there is actually a flag that can be used to suppress them:
  14.  
  15.      (44) > sicstus0.7
  16.     SICStus 0.7 #1: Fri Oct 25 09:12:35 PDT 1991
  17.     | ?- prolog_flag(single_var_warnings,X,X).
  18.  
  19.     X = on ? 
  20.  
  21.     yes
  22.     | ?- [user].      
  23.     | test(X).   
  24.     {Warning: [X] - singleton variables in test/1 in lines 10-11}
  25.     | {user consulted, 0 msec 340 bytes}
  26.  
  27.     yes
  28.     | ?- prolog_flag(single_var_warnings,_,off).
  29.  
  30.     yes
  31.     | ?- [user].
  32.     | test(X).
  33.     | {user consulted, 0 msec 48 bytes}
  34.  
  35.     yes
  36.     | ?- 
  37.  
  38. However, I think most Prolog programmers would strongly recommend leaving
  39. it on.   A very large percentage of typing and simple logic errors in
  40. Prolog programs are detected with these warnings; one will usually
  41. save time by following the single-variable style discipline.
  42.  
  43. D. Stott Parker  (stott@cs.ucla.edu)  UCLA Computer Science Dept.
  44. +1 (213) 825-6871, 825-1322 secy.     3532 Boelter Hall
  45. +1 (213) 825-2273 FAX                 Los Angeles, CA 90024-1596  USA
  46. -- 
  47. D. Stott Parker  (stott@cs.ucla.edu)  UCLA Computer Science Dept.
  48. +1 (213) 825-6871, 825-1322 secy.     3532 Boelter Hall
  49. +1 (213) 825-2273 FAX                 Los Angeles, CA 90024-1596  USA
  50.