Re: Help on problem needed!

Article View: comp.lang.prolog

Article #644

#644

From: Michael Meskes
Date: Mon, 17 Aug 1992 12:05

12 lines
988 bytes

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

Technical Details

Message-ID: <meskes.714053155@ulysses>

Path:

arc1-ca.pugleaf.net!sparky!uunet!cs.utexas.edu!wupost!darwin.sura.net!Sirius.dfn.de!Urmel.Informatik.RWTH-Aachen.DE!ulysses!meskes

References: <meskes.713709771@ulysses>

Show Full Headers

Complete Article Headers

Newsgroups: comp.lang.prolog
Path: arc1-ca.pugleaf.net!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

Reply to Parent Message