home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #19 / NN_1992_19.iso / spool / comp / lang / prolog / 1613 < prev    next >
Encoding:
Text File  |  1992-08-27  |  2.0 KB  |  42 lines
  1. Newsgroups: comp.lang.prolog
  2. Path: sparky!uunet!zaphod.mps.ohio-state.edu!darwin.sura.net!Sirius.dfn.de!Urmel.Informatik.RWTH-Aachen.DE!ulysses!meskes
  3. From: meskes@ulysses.informatik.rwth-aachen.de (Michael Meskes)
  4. Subject: Re: Help on problem needed!
  5. Message-ID: <meskes.714916931@ulysses>
  6. Keywords: help
  7. Sender: news@Urmel.Informatik.RWTH-Aachen.DE (Newsfiles Owner)
  8. Nntp-Posting-Host: ulysses
  9. Organization: Rechnerbetrieb Informatik  /  RWTH Aachen
  10. References: <meskes.713709771@ulysses> <1992Aug25.074623.25450@greco-prog.fr> <14219@goanna.cs.rmit.oz.au>
  11. Date: 27 Aug 92 12:02:11 GMT
  12. Lines: 28
  13.  
  14. After all the discussion I started with my question on IF...THEN...ELSE in
  15. Prolog without using the Cut I think I should give all of you some more
  16. information.
  17.  
  18. I don't like you all to think I can't do my homework myself. But this problem
  19. I posted isn`t my homework. I do not have any experience in programming Prolog
  20. and, to be honest, I'm also not interested in it, too. The only thing I'm
  21. interested in is pure first-order-logic with functional symbols. I only thought
  22. of Prolog to test the expressive power of this pure logic, in which I'm
  23. interested in as a side effect. It's not the main topic I'm working on.
  24. You can regard it as one very interesting example used in my work.
  25.  
  26. If it seems to be such a stupid question that some of you thought of a student
  27. searching for someone to do his homework, why isn't there such an easy answer?
  28. All the answers are quite interesting but the don't solve the problem.
  29. As far as I know Prolog is turing-complete and the proofs I know don't use
  30. the Cut. So why isn't it possible to solve this problem im Prolog?
  31.  
  32. If you still think I want you to do my homework try not to answer. Perhaps
  33. some of you are friendly enough to do though. But remember the predicate a
  34. isn't defined only using built-in comparisons like <.
  35.  
  36. Michael
  37.  
  38. -- 
  39. Michael Meskes, Lehrstuhl fuer angewandte Mathematik insb. Informatik,
  40. RWTH-Aachen, Ahornstr. 55, D-W-5100 Aachen
  41. Email: meskes@ulysses.informatik.rwth-aachen.de
  42.