newbie question

From: Roel Wuyts <>
Date: Mon 10 Jun 2002 08:30:54 AM GMT
Message-Id: <>
I have a simple thing that I wanted to check using disjunctive:

:-	[X,Y,Z]::0..30, disjunctive([X,Y,Z],[12,12,12]).

This is not feasible, but yet the response is 'yes'. But it is indicated 
that the goal is delayed. I tried to wake it explicitly:

:-	[X,Y,Z]::0..30, disjunctive([X,Y,Z],[12,12,12]), wake.

But that gives the same...

I am pretty sure that this is a newbie question. Could somebody help me 
out on this?

Roel Wuyts                                                   Software 
Composition Group                       University of Bern, 
Board Member of the European Smalltalk User Group:
Received on Mon Jun 10 09:31:08 2002

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