home *** CD-ROM | disk | FTP | other *** search
- Newsgroups: comp.lang.prolog
- Path: sparky!uunet!cs.utexas.edu!wupost!darwin.sura.net!Sirius.dfn.de!Urmel.Informatik.RWTH-Aachen.DE!ulysses!meskes
- From: meskes@ulysses.informatik.rwth-aachen.de (Michael Meskes)
- Subject: Re: Help on problem needed!
- Message-ID: <meskes.714053155@ulysses>
- Keywords: help
- Sender: news@Urmel.Informatik.RWTH-Aachen.DE (Newsfiles Owner)
- Nntp-Posting-Host: ulysses
- Organization: Rechnerbetrieb Informatik / RWTH Aachen
- References: <meskes.713709771@ulysses>
- Date: 17 Aug 92 12:05:55 GMT
- Lines: 12
-
- Excuse me for posting an incomplete message. I should have told you also not
- to use the predicate not/1 since it needs a cut to be defined, doesn't it?
- That means I only want to use pure first-order-logic with functional symbols.
- I hope that's possible.
-
- Thanks
-
- Michael
- --
- Michael Meskes, Lehrstuhl fuer angewandte Mathematik insb. Informatik,
- RWTH-Aachen, Ahornstr. 55, D-W-5100 Aachen
- Email: meskes@ulysses.informatik.rwth-aachen.de
-