TURBO PROLOG. Терёхин В.В. - 95 стр.

UptoLike

Составители: 

95
Программа Факториал (листинг 4.11) использует правило рекурсии для
вычисления и печати факториала целого числа. (Факториал числа N записы-
вается как N!. Восклицательный знак это распространенное обозначение
факториала и его не следует путать с символом для отсечения). N! есть про-
изведение всех целых чисел от 1 до N:
N! = N * (N-1) * (N-2) * ... 2 * 1
Примеры:
1! = 1
2! = 2 * 1 = 2
3! = 3 * 2 * 1 = 6
4! = 4 * 3 * 2 * 1 = 24
5! = 5 * 4 * 3 * 2 * 1 = 120
6! = 6 * 5 * 4 * 3 * 2 * 1 = 720
7! = 7 * 6 * 5 * 4 * 3 * 2 * 1 = 5040
Основополагающая структура правила рекурсии для
вычисления фак-
ториала точно такая же как и для правила рекурсии предыдущей программы.
Для суммирования ряда использовалось последовательное суммирование.
Это суммирование выполнялось посредством рекурсии. Для вычисления
факториала используется последовательное произведение. Его значение по-
лучается после извлечения значений из стека в качестве списка параметров
для последнего подправила после того, как рекурсия была
остановлена. Пра-
вило рекурсии для вычисления факториала следующее:
factorial(1,1) :- !.
factorial(Number,Result) :-
Next_number = Number -1,
facto-rial(Next_number,
Partial_factorial),
Result = Num-ber*Partial_factorial.
В результате работы программы получим 7! = 5040.
* Упражнение
4.17. Измените программу Факториал так, чтобы она вычисляла и вы-
давала на экран факториал 10. Факториал 10 равен 3 628 800. Предупрежде-
ние: Для вычисления используйте домен действительных чисел. Результат
слишком велик для
того, чтобы его хранить в переменной целого типа. Это
объясняется тем, что в Турбо-Прологе верхний предел для значения целого
числа равен 32 767.
4.6 Обзор содержания главы
В данной главе были рассмотрены четыре метода построения правил:
метод отката после неудачи (ОПН), метод отсечения и отката (ОО), метод
повтора (МП), определяемый пользователем и
обощенное правило рекурсии
(ОПР).
      Программа Факториал (листинг 4.11) использует правило рекурсии для
вычисления и печати факториала целого числа. (Факториал числа N записы-
вается как N!. Восклицательный знак это распространенное обозначение
факториала и его не следует путать с символом для отсечения). N! есть про-
изведение всех целых чисел от 1 до N:
            N! = N * (N-1) * (N-2) * ... 2 * 1
                   Примеры:
            1! = 1
            2! = 2 * 1 = 2
            3! = 3 * 2 * 1 = 6
            4! = 4 * 3 * 2 * 1 = 24
            5! = 5 * 4 * 3 * 2 * 1 = 120
            6! = 6 * 5 * 4 * 3 * 2 * 1 = 720
            7! = 7 * 6 * 5 * 4 * 3 * 2 * 1 = 5040
      Основополагающая структура правила рекурсии для вычисления фак-
ториала точно такая же как и для правила рекурсии предыдущей программы.
Для суммирования ряда использовалось последовательное суммирование.
Это суммирование выполнялось посредством рекурсии. Для вычисления
факториала используется последовательное произведение. Его значение по-
лучается после извлечения значений из стека в качестве списка параметров
для последнего подправила после того, как рекурсия была остановлена. Пра-
вило рекурсии для вычисления факториала следующее:
            factorial(1,1) :- !.
            factorial(Number,Result) :-
                                       Next_number = Number -1,
                                       facto-rial(Next_number,
                                       Partial_factorial),
                                       Result = Num-ber*Partial_factorial.

В результате работы программы получим 7! = 5040.

* Упражнение
      4.17. Измените программу Факториал так, чтобы она вычисляла и вы-
давала на экран факториал 10. Факториал 10 равен 3 628 800. Предупрежде-
ние: Для вычисления используйте домен действительных чисел. Результат
слишком велик для того, чтобы его хранить в переменной целого типа. Это
объясняется тем, что в Турбо-Прологе верхний предел для значения целого
числа равен 32 767.

     4.6 Обзор содержания главы
     В данной главе были рассмотрены четыре метода построения правил:
метод отката после неудачи (ОПН), метод отсечения и отката (ОО), метод
повтора (МП), определяемый пользователем и обощенное правило рекурсии
(ОПР).



                                                                        95