propia and the cut

From: Alexander Pretschner <pretschn_at_informatik.tu-muenchen.de>
Date: Mon 23 Jul 2001 09:21:15 AM GMT
Message-ID: <3B5BEC8B.67296F85@informatik.tu-muenchen.de>
Hi there,

any ideas why there is a difference between the following two goals:


[eclipse 1]: lib(propia).
propia.pl  compiled traceable 17108 bytes in 0.01 seconds
yes.
[eclipse 2]:
suspend((member(X,[1,2,3]),!),1,trigger(t)),schedule_suspensions(t),wake.
X = 1     More? (;)
X = 2     More? (;)
X = 3
yes.
[eclipse 3]:
suspend((write(''),member(X,[1,2,3]),!),1,trigger(t)),schedule_suspensions(t),wake.
X = 1
yes.

The results of the second query are what I actually expected from the
first one as well. (I don't exactly see why outputting the empty string
should change anything).

Thanks,
Alex


-- 
_________________________________________________
Alexander Pretschner
Institut fuer Informatik, TU Muenchen
Arcisstrasse 21, 80290 Muenchen, Germany
ph. +49 (0)89 289-28325, fax +49 (0)89 289-25310
mailto:pretschn@in.tum.de
http://www4.in.tum.de/~pretschn
_________________________________________________
Received on Mon Jul 23 10:23:25 2001

This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:07:09 PM GMT GMT