Вывести ряд Фибоначчи на интервале от a до b (VP5.2)

implement main
    open core
class predicates
    fib: (integer,integer).
    fibRec : (integer,integer,integer,integer,integer).
clauses
    fib(A,B) :- fibRec(A,B,1,1,0),!.
    fibRec(_,B, B + 1,_,_) :- !.
    fibRec(A,B,K,Cur,Prev) :- if (K >= A),! then
                                 stdio::write(Cur), stdio::nl
                              end if,
                              fibRec(A,B,K+1, Cur+Prev,Cur).
 
    run():-
        console::init(),
        fib(3, 7),
        _ = stdio::readChar(),
        succeed(). 
end implement main
 
goal
    mainExe::run(main::run).

implement main
    open core
class predicates
    fib: (integer,integer).
    fibRec : (integer,integer,integer,integer,integer).
clauses
    fib(A,B) :- fibRec(A,B,1,1,0),!.
    fibRec(A,B,K,Cur,Prev) :- if (Cur >= A, Cur <= B),! then
                                 stdio::write(Cur), stdio::nl
                              end if,
                              if (Cur <= B), ! then
                                 fibRec(A,B,K+1, Cur+Prev,Cur)
                              end if.
 
    run():-
        console::init(),
        fib(2, 20),
        _ = stdio::readChar(),
        succeed().
end implement main
 
goal
    mainExe::run(main::run).