home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #19 / NN_1992_19.iso / spool / comp / lang / prolog / 1615 < prev    next >
Encoding:
Text File  |  1992-08-27  |  1.5 KB  |  31 lines
  1. Newsgroups: comp.lang.prolog
  2. Path: sparky!uunet!mcsun!sunic!sics.se!lhe
  3. From: lhe@sics.se (Lars-Henrik Eriksson)
  4. Subject: Re: Help on problem needed!
  5. In-Reply-To: meskes@ulysses.informatik.rwth-aachen.de (Michael Meskes)
  6. Message-ID: <1992Aug27.143108.22900@sics.se>
  7. Keywords: help
  8. Sender: lhe@sics.se (Lars-Henrik Eriksson)
  9. Reply-To: lhe@sics.se (Lars-Henrik Eriksson)
  10. Organization: SICS, Kista (Stockholm), Sweden
  11. References: <meskes.713709771@ulysses> <1992Aug25.074623.25450@greco-prog.fr> <14219@goanna.cs.rmit.oz.au> <meskes.714916931@ulysses>
  12. Date: Thu, 27 Aug 1992 14:31:08 GMT
  13. Lines: 16
  14.  
  15. In article <meskes.714916931@ulysses>, meskes@ulysses (Michael Meskes) writes:
  16. >As far as I know Prolog is turing-complete and the proofs I know don't use
  17. >the Cut. So why isn't it possible to solve this problem im Prolog?
  18.  
  19. That Prolog (or any language for that matter) is Turing complete just
  20. means that any algorithm can be coded in that language. It does not
  21. mean that it can express an arbitrary programming language construct.
  22.  
  23. You ask for a way of expressing IF-THEN-ELSE. A construct such as IF a
  24. THEN b ELSE c is not an algorithm, so you cannot be certain that it
  25. can be expressed in Prolog.
  26. -- 
  27. Lars-Henrik Eriksson                            Internet: lhe@sics.se
  28. Swedish Institute of Computer Science           Phone (intn'l): +46 8 752 15 09
  29. Box 1263                                        Telefon (nat'l): 08 - 752 15 09
  30. S-164 28  KISTA, SWEDEN                         Fax: +46 8 751 72 30
  31.