Depth-limited search
= depth-first search with depth limit
l
,
i.e., nodes at depth
l
have no successors
n
Recursive implementation
:
