The current version of pack b_real does not contain a file prolog/b_real_lazy.pl
b_real
prolog/b_real_lazy.pl