sub sang_with { my ($p1, $p2, $continuation) = @_; unify($p1, 'frank', sub {unify($p2, 'judy', $continuation)}); unify($p1, 'frank', sub {unify($p2, 'dean', $continuation)}); };