A Debugging Model for Lazy Narrowing

2> i 2 terms, e 2 expressions and condition is a sequence of equalities between expressions. The computation of BabLog's goals (which have the same structure than conditions) is based on lazy narrowing under the demand driven control regime. Our model, based on the standard box-oriented model for logic programs, pretends to be a methodological tool to facilitate users the understanding of the operational semantics of BabLog. In our opinion, such kind of tools can help users to debug programs and find easily possible programming bugs. Finally, this model can be applied to other existing lazy strategies for lazy narrowing, such that the naive one, presented in [2]. The idea of applying the box model for debugging functional logic languages has been already treated in literature. Nevertheless, nothing is commented on laziness. In order to re