Arie, On Tue, Nov 25, 2008 at 14:40, Arie Groeneveld <[EMAIL PROTECTED]> wrote: > After reading some literature about subject I can only conclude > solutions like the Haskell example are not really what Amb should do. It > just produces all possibilities at once.
I don't think it does. Haskell is lazily evaluated. Only as much of the list is calculated as needed. When you ask Haskell to print the list, it prints it all, finding each member in turn, but it is only computing those members because it needs to to print them. Until that time the list exists more as a specification than as data. Cheers, Hamish ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
