NAME

Logic::Relational::Goal::EndCall - Internal marker goal popping an active ancestor call frame.

DESCRIPTION

Logic::Relational::Goal::EndCall is an internal continuation marker inserted after a rule body expansion by Logic::Relational::Goal::Call. When reached, it pops the completed call from the search state's active ancestors stack so that subsequent sibling goals are not treated as recursive descendants of the completed call.

METHODS

new

Constructs a new EndCall marker goal.

expand

Pops the most recent ancestor from the state's ancestor stack and advances to the remaining goals.

freshen

Returns the marker unchanged (no logical variables are stored in the marker).