Needed narrowing corresponds to a lazy strategy, in contrast to the SLD-resolution strategy of Prolog.
Needed narrowing ist eine Form von Bedarfsauswertung, im Gegensatz zur SLD-Auflösungsstrategie von Prolog.