diff --git a/library/lineutils.yap b/library/lineutils.yap index 7bb0b594f..837fbb897 100644 --- a/library/lineutils.yap +++ b/library/lineutils.yap @@ -1,6 +1,7 @@ :- module(line_utils, [search_for/3, scan_natural/3, + scan_integer/3, split/3 ]). @@ -12,7 +13,11 @@ search_for(C) --> [C], !. search_for(C) --> [_], search_for(C). -scan_natural(N) --> +scan_integer(N) --> + "-", !, + scan_natural(0, N0), + N is -N0. +scan_integer(N) --> scan_natural(0, N). scan_natural(N0,N) --> diff --git a/pl/consult.yap b/pl/consult.yap index b18285427..1eb48118d 100644 --- a/pl/consult.yap +++ b/pl/consult.yap @@ -297,7 +297,6 @@ use_module(M,F,Is) :- '$show_consult_level'(Level1), % it will be done after we leave the current consult level. Level is Level1-1, - format(user_error,'add~w~n',[G]), recorda('$initialisation',do(Level,G),_), fail. '$initialization'(_).