Вычисление n-го члена геометрической прогрессии, у которой первый член равен 2, а знаменатель равен 4 - Prolog

помогите пожалуйста реализовать на прологе: Вычисление n-го члена геометрической прогрессии, у которой первый член равен 2, а знаменатель равен 4

Листинг программы

f(1, 2).
f(N, A) :-
    N > 1,
    NN is N - 1,
    f(NN, AA),
    A is AA * 4.

Объяснение кода листинга программы

f(1, 2) - определение функции f с двумя позиционными аргументами N и A. Значение N равно 1, а значение A равно 2.
f(N, A) :- - определение функции f с двумя позиционными аргументами N и A.
N > 1 - проверка условия, что значение N больше 1.
NN is N - 1 - присваивание переменной NN значения N - 1.
f(NN, AA) - вызов функции f с аргументами NN и AA.
A is AA * 4 - присваивание переменной A значения AA * 4.
Все остальные строки (с 8 по 20) не относятся к данной функции f, поэтому их можно пропустить.