home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #18 / NN_1992_18.iso / spool / comp / lang / prolog / 1542 < prev    next >
Encoding:
Text File  |  1992-08-17  |  963 b   |  26 lines

  1. Newsgroups: comp.lang.prolog
  2. Path: sparky!uunet!cs.utexas.edu!wupost!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.714053155@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>
  11. Date: 17 Aug 92 12:05:55 GMT
  12. Lines: 12
  13.  
  14. Excuse me for posting an incomplete message. I should have told you also not
  15. to use the predicate not/1 since it needs a cut to be defined, doesn't it?
  16. That means I only want to use pure first-order-logic with functional symbols.
  17. I hope that's possible.
  18.  
  19. Thanks
  20.  
  21. Michael
  22. -- 
  23. Michael Meskes, Lehrstuhl fuer angewandte Mathematik insb. Informatik,
  24. RWTH-Aachen, Ahornstr. 55, D-W-5100 Aachen
  25. Email: meskes@ulysses.informatik.rwth-aachen.de
  26.