Nishid, Naoki; Vidal Oriola, Germán Francisco(Elsevier, 2015-03)
The search space of SLD resolution, usually represented by means of a so-called SLD tree, is often infinite. However, there are many applications that must deal with possibly infinite SLD trees, like partial evaluation or ...