From Lesta@t-online.de  Mon Nov 29 10:09:46 1999
Received: from mailout08.btx.dtag.de (mailout08.btx.dtag.de [194.25.2.156])
	by swi.psy.uva.nl (8.9.3/8.9.3) with ESMTP id KAA05985
	for <prolog@swi.psy.uva.nl>; Mon, 29 Nov 1999 10:09:45 +0100 (MET)
Received: from fwd13.btx.dtag.de ([194.25.2.173])
	by mailout08.btx.dtag.de with smtp 
	id 11sMoc-0005IW-00; Mon, 29 Nov 1999 10:09:46 +0100
Received: from t-online.de (05121269112-0001(btxid)@[62.157.64.68]) 
	by fwd13.btx.dtag.de with smtp
	id <m11sMoO-0003KsC>; Mon, 29 Nov 1999 10:09:32 +0100
Message-ID: <384242BF.15AE3936@t-online.de>
Date: Mon, 29 Nov 1999 10:09:19 +0100
X-Mailer: Mozilla 4.05 [de]C-DT  (Win95; I)
MIME-Version: 1.0
To: prolog@swi.psy.uva.nl
Subject: Please help me with strings
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-Sender: 05121269112-0001@t-dialin.net
From: Lesta@t-online.de (Uwe Lesta)

Hello,

assume that style_check(+string) is true.

If i ask interactive in the toplevel window
        20 ?- string("string").
        Yes
        21 ?-
But this program fails cause "string" is readed as a list of chars.

t_str:-
    style_check(+string),
    string_to_atom(Str, 'string'),
    string(Str),
    string("string"),
    Str == "string".

What must I do that this is true ??

t_str2:-
    string_to_atom(Str, 'string'),
    Str == "string".

If the file is consulted.
-------------------------
--


Regards

Uwe
Lesta@t-online.de

