home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #19 / NN_1992_19.iso / spool / comp / lang / prolog / 1610 < prev    next >
Encoding:
Internet Message Format  |  1992-08-26  |  2.0 KB
  1. Path: sparky!uunet!munnari.oz.au!goanna!ok
  2. From: ok@goanna.cs.rmit.oz.au (Richard A. O'Keefe)
  3. Newsgroups: comp.lang.prolog
  4. Subject: Re: Help on problem needed!
  5. Keywords: help
  6. Message-ID: <14219@goanna.cs.rmit.oz.au>
  7. Date: 27 Aug 92 07:29:44 GMT
  8. References: <meskes.713709771@ulysses> <1992Aug25.074623.25450@greco-prog.fr>
  9. Organization: Comp Sci, RMIT, Melbourne, Australia
  10. Lines: 39
  11.  
  12. In article <1992Aug25.074623.25450@greco-prog.fr>, billaud@greco-prog.fr (Michel BILLAUD) writes:
  13. > In article <meskes.713709771@ulysses> meskes@ulysses.informatik.rwth-aachen.de (Michael Meskes) writes:
  14. > 
  15. > >Can you program a IF...THEN...ELSE in Prolog without using the cut?
  16. > 
  17. > No. a proof by contradiction:
  18.  
  19. Well, a lot depends on what goes in the gaps.  If the stuff to go in the
  20. gaps is logical formulas, the proof goes through.  But with suitable
  21. restrictions it is possible.  For example, define
  22.     <test> ::= <expression> <a.relop> <expression>
  23.             |  <term> <t.relop> <term>
  24.             |  NOT <test>
  25.             |  <test> AND <test>
  26.             |  <test> OR <test>
  27. where the understanding is that the arithmetic expressions whose values
  28. are to be compared and the terms which are to be compared must be ground.
  29. (NU-Prolog-style 'when' declarations for comparison predicates can do this.)
  30. Then we can negate a formula:
  31.     NOT(E1 a.R E2) => E1 NOT(a.R) E2        e.g. NOT(<) = >=
  32.     NOT(T1 t.R T2) => T1 NOT(t.R) T2        e.g. NOT(@<) = @>=
  33.     NOT(NOT(T))    => T
  34.     NOT(X1 AND X2) => NOT(X1) OR NOT(X2)
  35.     NOT(X1 OR  X2) => NOT(X1) AND NOT(X2)
  36. and something of the form
  37.     IF <test> THEN <true> ELSE <false>
  38. can be converted to
  39.     ( <test>, <true>
  40.     ; NOT(<test>), <false>
  41.     )
  42. Note that SB-Prolog already recognises some special cases of this pattern,
  43. so that ( X < 0, a ; X >= 0, b ) will be compiled as an if-then-else.
  44.  
  45. If you are writing an interpreter for some other language (e.g. a pure
  46. functional programming language) you can _interpret_ an if-then-else in
  47. that language without a Prolog cut.
  48.  
  49. -- 
  50. You can lie with statistics ... but not to a statistician.
  51.