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

UptoLike

ВУЗ: 

НФИ КемГУ | Новокузнецк

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

Рубрика: 

68
____________________________________________________________
Правилами для реализации сложения, вычитания, умножения и деления
целых чисел являются
add(X,Y):-
Z = X + Y, write("Sum = ", Z), nl.
substruct(X,Y):-
Z = X - Y, write("Diff = ", Z), nl.
multiply(X,Y):-
Z = X * Y, write("Pro = ", Z), nl.
divide(X,Y):-
Z = X / Y, write("Quo = ", Z), nl.
а четырьмя правилами для реализации сложения, вычитания, умножения и
деления действительных чисел -
fadd(P,Q):-
R = P + Q, write("Fsum = ",R), nl.
fsubstruct(P,Q):-
R = P - Q, write("Fdiff = ",R), nl.
fmultiply(P,Q):-
R = P * Q, write("Fpro = ",R), nl.
fdivide(P,Q):-
R = P / Q, write("Fquo = ",R), nl.
Внутренняя цель составлена из последовательности утверждений, ис-
пользующих эти правила. В ее формулировке присутствуют числовые зна-
чения, которые
передаются в тела правил. Очень важно соблюсти соответ-
ствие типов данных и типов объектов предикатов. В результате счета про-
граммы на экране возникнет картинка, представленная на рис. 3.17.
Отметим, что деление целого числа на целое может дать десятичную
дробь. В этом случае все знаки вплоть до десятого являются верными.
* Упражнения
3.14. Предположим, что Вы хотите сложить четыре десятичных чис-
ла. Предикатом для выполнения этой операции служит
sum(real,real,real,real,real)
Напишите правило для сложения четырех чисел. Включите правило и пре-
дикат в программу "Числа".
3.15. Запустите эту модифицированную программу и задайте такую
внешнюю цель:
sum(3.9, 4.6, 2.6, 9.7, Z).
Каков будет результат ?
3.5 Заключение
В главе были рассмотрены
основные принципы программирования на
Турбо-Прологе. Вы познакомились с такими фундаментальными понятиями,
как предикаты, утверждения и домены. Вы также узнали о структуре и орга-
низации программ на Турбо-Прологе. Попутно Вы научились применять 
____________________________________________________________
      Правилами для реализации сложения, вычитания, умножения и деления
целых чисел являются
            add(X,Y):-
                  Z = X + Y, write("Sum = ", Z), nl.
            substruct(X,Y):-
                  Z = X - Y, write("Diff = ", Z), nl.
            multiply(X,Y):-
                  Z = X * Y, write("Pro = ", Z), nl.
            divide(X,Y):-
                  Z = X / Y, write("Quo = ", Z), nl.
а четырьмя правилами для реализации сложения, вычитания, умножения и
деления действительных чисел -
      fadd(P,Q):-
            R = P + Q, write("Fsum = ",R), nl.
      fsubstruct(P,Q):-
            R = P - Q, write("Fdiff = ",R), nl.
      fmultiply(P,Q):-
            R = P * Q, write("Fpro = ",R), nl.
      fdivide(P,Q):-
            R = P / Q, write("Fquo = ",R), nl.
      Внутренняя цель составлена из последовательности утверждений, ис-
пользующих эти правила. В ее формулировке присутствуют числовые зна-
чения, которые передаются в тела правил. Очень важно соблюсти соответ-
ствие типов данных и типов объектов предикатов. В результате счета про-
граммы на экране возникнет картинка, представленная на рис. 3.17.
      Отметим, что деление целого числа на целое может дать десятичную
дробь. В этом случае все знаки вплоть до десятого являются верными.

* Упражнения
      3.14. Предположим, что Вы хотите сложить четыре десятичных чис-
ла. Предикатом для выполнения этой операции служит
             sum(real,real,real,real,real)
Напишите правило для сложения четырех чисел. Включите правило и пре-
дикат в программу "Числа".
      3.15. Запустите эту модифицированную программу и задайте такую
внешнюю цель:
             sum(3.9, 4.6, 2.6, 9.7, Z).
Каков будет результат ?

      3.5 Заключение
      В главе были рассмотрены основные принципы программирования на
Турбо-Прологе. Вы познакомились с такими фундаментальными понятиями,
как предикаты, утверждения и домены. Вы также узнали о структуре и орга-
низации программ на Турбо-Прологе. Попутно Вы научились применять


                                                                       68

Страницы