Арифметика в gnu prolog

Прологовская арифметика.

Пролог система не вважає символи +, -, * і т. Д. Чим особливим, і не намагається нічого обчислювати до тих пір, поки ми не вкажемо їй, що це - запис арифметичних дій. Щоб краще зрозуміти, що нам незрозуміло в арифметиці Прологу, слід виконати такі запити до системи: А ось так система зрозуміє Вас невірно: Пролог розрахований головним чином на обробку символьної інформації, при якій потреба в арифметичних обчисленнях відносно мала. Однак, було б дуже дивним, якби мова програмування комп'ютера не містив набору математичних функцій і арифметичних операторів.

Для здійснення основних арифметичних дій, можна скористатися декількома зумовленими операторами.
  • + додавання
  • - віднімання
  • / Розподіл (речовий)
  • mod модуль (залишок від цілочисельного ділення)
Саме час сказати, що один і той же вираз в Пролозі може бути записано в інфіксной і постфіксной формі:

Вбудовані, математичні предикати в GNU Prolog (без найпростіших)

Інкремент (збільшення на одиницю)

Декремент (зменшення на одиницю)

Побітовое "XOR" (що виключає "АБО")

"Цілочисельний зрушення" E1 на E2 розряду вправо

Абсолютне значення (модуль числа)

Знакова функція, повертає -1, 0 або 1

Поверне мінімальний аргумент

Поверне максимальний аргумент

Піднесення до степеня: E1 E2

Витяг квадратного кореня з E

Тригонометрія в радіанах: atan (E), cos (E), acos (E), sin (E), asin (E)

Натуральний логарифм (по підставі e)

"Перетворює" ціле число X в речовий

"Округлює" дійсне число X до більшого цілого числа

"Округлює" дійсне число X до меншого цілого числа

"Округлює" дійсне число X до найближчого цілого числа

"Ціла частина" дійсного числа X

Арифметичні операції використовуються також і при порівнянні числових величин. Нижче перераховані оператори порівняння, їх основна відмінність - обчислення конкретезірующіх, числових значень перед порівнянням:
  • X> Y (арифметичне (X більше ніж Y))
  • X = Y (арифметичне (X більше або дорівнює Y))
  • X =

Найбільший спільний дільник

Давайте розглянемо використання арифметичних операцій на простому прикладі: знаходження найбільшого загального дільника двох чисел.

Якщо задані два цілих числа X і Y. то їх найбільший дільник Z можна знайти, керуючись такими трьома правилами:

  1. Якщо X і Y рівні, то Z дорівнює X.
  2. Якщо X> Y, то Z дорівнює найбільшому загальному дільнику різниці Y - X.
  3. якщо Y

Блог вивчає Пролог