Erich P. Stuntebeck, John S. Davis II, et al.
HotMobile 2008
In most formulations, finding the optimal order of evaluation of subgoals in the body of a clause is known to be inherently exponential in lime. On the other hand, we have found it useful to apply a quick reordering algorithm, based only on individual rules, which, though not guaranteed always to generate an optimal order, often does yield large specdups in the executions of programs to which it is applied. The time complexity of the algorithm is - in the absence of nonlogical (builtin) predicates and in the presence of only safe negative literals - at most O(n2 log n) steps, where n is the length, in symbols, of the input conjunction.
Erich P. Stuntebeck, John S. Davis II, et al.
HotMobile 2008
Raymond Wu, Jie Lu
ITA Conference 2007
Pradip Bose
VTS 1998
Ehud Altman, Kenneth R. Brown, et al.
PRX Quantum