From alfonso@ii.uam.es  Thu Feb 24 14:42:08 2000
Received: from arantxa.ii.uam.es (arantxa.ii.uam.es [150.244.56.15])
	by swi.psy.uva.nl (8.9.3/8.9.3) with ESMTP id OAA21786
	for <prolog@swi.psy.uva.nl>; Thu, 24 Feb 2000 14:42:07 +0100 (MET)
Received: from minerva.ii.uam.es (minerva [150.244.56.39])
	by arantxa.ii.uam.es (8.8.8+Sun/8.8.8) with ESMTP id OAA09762
	for <prolog@swi.psy.uva.nl>; Thu, 24 Feb 2000 14:43:30 GMT
Received: from priamo.ii.uam.es (priamo.ii.uam.es [150.244.56.62])
	by minerva.ii.uam.es (8.8.8+Sun/8.8.8) with SMTP id OAA19124
	for <prolog@swi.psy.uva.nl>; Thu, 24 Feb 2000 14:36:16 +0100 (MET)
Received: by priamo.ii.uam.es with Microsoft Mail
	id <01BF7ED5.6F1D7AC0@priamo.ii.uam.es>; Thu, 24 Feb 2000 14:42:54 +0100
Message-ID: <01BF7ED5.6F1D7AC0@priamo.ii.uam.es>
From: Alfonso Ortega de la Puente <alfonso@ii.uam.es>
To: "prolog@swi.psy.uva.nl" <prolog@swi.psy.uva.nl>
Subject: About read predicate and linux version.
Date: Thu, 24 Feb 2000 14:42:53 +0100
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit


	I'm using swi-prolog 3.2.3 for Windows. Is there any reason for the following behaviour?

	treat_number:-
		read(A),
		A < 0
		->
			B is A * 3, write(B) ;
			C is A * 4, write(C).


	If a number is read from a file by means of the see/seen mechanism, why the variable A in the last sentence remains unbound?


	By the other hand: Where can I find a version for linux (red hat if possible)?

	Thank to all and regards.
	
	

