Hello, 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 roel.wuyts@iam.unibe.ch University of Bern, Switzerland http://www.iam.unibe.ch/~wuyts/ Board Member of the European Smalltalk User Group: www.esug.orgReceived 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