R = P - Q, write(Fdiff = ,R), nl.

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.

Внутренняя цель составлена из последовательности утверждений, использующих эти правила. В ее формулировке присутствуют числовые значения, которые передаются в тела правил. Очень важно соблюсти соответствие типов данных и типов объектов предикатов. Отметим, что деление целого числа на целое может дать десятичную дробь. В этом случае все знаки вплоть до десятого являются верными.

Задание на лекции

1. Предположим, что Вы хотите сложить четыре десятичных чис-

ла. Предикатом для выполнения этой операции служит

sum(real,real,real,real,real)

Напишите правило для сложения четырех чисел. Включите правило и пре-

дикат в программу "Числа".

Домашнее задание (по вариантам):

1. Написать формулу для решения пропорции и нахождения Z:

X – Y

Z – Q

2. Написать формулу для решения пропорции и нахождения X:

X – Y

Z – Q

3. x³

4. a*x – y

5. (a + b)/c

6. a/b +c

7. a - b/c

8. a + b – c + d

9. t*x²

10. y²/b

11. a/b/c

12. a/b*c

13. a – x*y

14. 1–c*t*g

15. 22*b + c*d

16. x/7 – a*b

17. (x + 4)/(a - b)

18. a*x +b*c

19. a² – b²

20. 0.5*k+x/y

⇐ Предыдущая 12