From None-Brain@web.de Mon Feb 12 20:59:56 2001
Received: from mailgate3.cinetic.de (mailgate3.cinetic.de [212.227.116.80])
	by swi.psy.uva.nl (8.11.2/8.11.2) with ESMTP id f1CJxtZ18492
	for <prolog@swi.psy.uva.nl>; Mon, 12 Feb 2001 20:59:56 +0100 (MET)
Received: from cinetic.de (popeye.cinetic.de [194.122.194.100])
	by mailgate3.cinetic.de (8.11.2/8.11.2/SuSE Linux 8.11.0-0.4) with SMTP id f1CJxqo31048
	for <prolog@swi.psy.uva.nl>; Mon, 12 Feb 2001 20:59:52 +0100
Date: Mon, 12 Feb 2001 20:59:52 +0100
Message-Id: <200102121959.f1CJxqo31048@mailgate3.cinetic.de>
MIME-Version: 1.0
Organization: http://freemail.web.de/
From: "Robin Haberkorn" <None-Brain@web.de>
To: prolog@swi.psy.uva.nl
Subject: [SWIPL]add/remove facts
Precedence: fm-user
Content-Type: text/plain; charset="iso-8859-1"
Content-Transfer-Encoding: 8bit
X-MIME-Autoconverted: from quoted-printable to 8bit by swi.psy.uva.nl id f1CJxtZ18492

Hello, what means the following in Prolog?

If you take X, X is in the inventar.

(I want to have a fact that X is in the inventar(inventar(X)) if the function take was called with the argument X(take(X)) (for X a word that is on the ground (ground(word).)) and then X shall not still are on the ground!)

If this can work,please sent me the solution! 
_______________________________________________________________________________
Alles unter einem Dach: Informationen, Fun, E-Mails. Bei WEB.DE: http://web.de
Die große Welt der Kommunikation: E-Mail, Fax, SMS, WAP: http://freemail.web.de

