このディレクトリの索引

get_integer(N) :-
        get_line(Line),
        get_integer_1(Line,N),!.

get_integer(Input,N) :-
        get_line(Input,Line),
        get_integer_1(Input,Line,N),!.

get_integer_1(end_of_file,_) :- !,fail.
get_integer_1(Line,N) :-
        atom_to_term(Line,N,_),
        integer(N),!.
get_integer_1(_,N) :-
        get_line(Line),
        get_integer_1(Line,N).

get_integer_1(_,end_of_file,_) :- !,fail.
get_integer_1(Input,Line,N) :-
        atom_to_term(Line,N,_),
        integer(N),!.
get_integer_1(Input,_,N) :-
        get_line(Input,Line),
        get_integer_1(Input,Line,N).