Turbo Prolog. Факториал

Формулировка задачи:

Дать определение факториала без использования встроенной арифметики. Помогите, пожалуйста. Проблема в том, что я понимаю, как решить стандартно эту задачу, но фраза "без использования встроенной арифметики", откровенно говоря, сбивает с толку.

Решение задачи: «Turbo Prolog. Факториал»

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

predicates
fact(integer,integer)
 
clauses
fact(0,1).
fact(1,1).
fact(2,2).
fact(3,6).
fact(4,24).
fact(5,120).
fact(6,720).
fact(7,5040).

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

Код представляет собой реализацию вычисления факториала в языке программирования Prolog. В данном коде:

Определен предикат fact/2, который будет использоваться для вычисления факториала.
В терминах определены факты, которые являются начальными условиями для работы программы.
В каждом утверждении fact/2 первое число обозначает количество раз, которое нужно умножить, а второе число - это результат умножения.
Используя эти факты, программа вычисляет факториал для заданного числа. Список вычислений:
fact(0,1) - вычисление факториала для числа 0, результат 1.
fact(1,1) - вычисление факториала для числа 1, результат 1.
fact(2,2) - вычисление факториала для числа 2, результат 2.
fact(3,6) - вычисление факториала для числа 3, результат 6.
fact(4,24) - вычисление факториала для числа 4, результат 24.
fact(5,120) - вычисление факториала для числа 5, результат 120.
fact(6,720) - вычисление факториала для числа 6, результат 720.
fact(7,5040) - вычисление факториала для числа 7, результат 5040. Список переменных:
integer - тип данных для числа.
k - переменная для хранения числа, для которого вычисляется факториал.
result - переменная для хранения результата вычисления факториала.