On 12/03/2011 07:00 PM, Andy Seaborne wrote: > Corrected to: > > eval(D(G), OneOrMore(x:term, path, vy:var)) = > Let X = eval(x, path) > Let V = {} > Let R = the empty multiset > For n in X > ALP(n, path, R, V) > End > result is R I think there is another typo here, V should be reset to {} in the loop as shown below : eval(D(G), OneOrMore(x:term, path, vy:var)) = Let X = eval(x, path) Let R = the empty multiset For n in X Let V = {} ALP(n, path, R, V) End result is R OlivierReceived on Wednesday, 7 December 2011 13:29:05 GMT
This archive was generated by hypermail 2.3.1 : Tuesday, 26 March 2013 16:15:47 GMT