Hi. We want to get the list of delayed goals in a readable format and we are using subcall or delayed_goals predicates. However, the information we get from these predicates is much harder to read for a user than the delayed goals info shown on the screen by eclipse. For example [eclipse 4]: [X,Y,Z]::1..4, X#<Y,Y#<Z, delayed_goals(T). X = X{[1, 2]} Y = Y{[2, 3]} Z = Z{[3, 4]} T = [prop_ic_con(ic_con("\005\000\000\000\002\000\000\000\000\000\000\000\000\00 0\000\200\000\000\000\000\000\000\000\000\a\000\000\000\023\000\000\000\000\000\ 000\000\000\000\360\177 \034\020\020\375s\031", 1, "\000\000\000\000\000\000\360 ?\000\000\000\000\000\000\360", "\000\000\000\000\000\000\360?\000\000\000\000\0 00\000\360", [](Y{[2, 3]}, X{[1, 2]}), 'SUSP-_869-susp')), prop_ic_con(ic_con("\ 005\000\000\000\002\000\000\000\000\000\000\000\000\000\000\200\000\000\000\000\ 000\000\000\000\000\033\020\020\377\000\000\200\017\000\000\000\023\000\000\000\ 000\000\000\000\000\000\360", 1, "\000\000\000\000\000\000\360?\000\000\000\000\ 000\000\360", "\000\000\000\000\000\000\360?\000\000\000\000\000\000\360", [](Z{ [3, 4]}, Y), 'SUSP-_931-susp'))] Delayed goals: Y{[2, 3]} - X{[1, 2]} #> 0 Z{[3, 4]} - Y{[2, 3]} #> 0 Yes (0.00s cpu) Is there a predicate to obtain the delayed goals in the same format as printed on the screen ( Y{[2, 3]} - X{[1, 2]} #> 0, Z{[3, 4]} - Y{[2, 3]} #> 0 ) ? Thanks in advance. Regards, SoniaReceived on Wed Jan 12 2011 - 15:07:48 CET
This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET