Számtani gnu prolog

Prolog számtani.

Prolog rendszer nem veszi figyelembe a szimbólumok +, -, *, stb, mint a különleges, és nem próbálják kitalálni semmit, amíg nem rámutatni, hogy neki, hogy ez - .. Record számtani műveleteket. Ahhoz, hogy jobban megértsük, mi nem értjük, a számtani a Prologue, futtassa a következő lekérdezést a rendszer: A mint ez meg fogja érteni, hogy téved: Prologue célja elsősorban feldolgozására szimbolikus információt, amelyben az igény aritmetikai számítások viszonylag kicsi. Azonban ez nagyon furcsa, ha a számítógépes programozási nyelv nem tartalmaz egy sor matematikai függvények és aritmetikai operátorok.

A végrehajtás a alapművelet, akkor több előre definiált operátorok.
  • + kiegészítés
  • - kivonás
  • / Division (valós)
  • mod modul (a fennmaradó osztás)
Itt az ideje, hogy azt mondják, hogy ugyanezt a kifejezést a Prologue írhatók infix és postfix:

Beágyazott matematikai predikátumok GNU Prolog nélkül (protozoonok)

A növekmény (növekedés egy)

Csökkentés (csökkenés az egyik)

Bitenkénti „XOR” (kizárólagos „vagy”)

„Egész műszak” E1 E2 a jogot a mentesítési

Az abszolút érték (modul szám)

Bejelentkezés függvény -1, 0 vagy 1

Visszaadja a legkisebb érv

Visszaadja a legnagyobb érv

Hatványozás: E1 E2

Figyelembe négyzetgyöke E

Trigonometry radiánban: atan (E), cos (E), acos (E), sin (E), asin (E)

A természetes logaritmusa (e alapú)

„Kiderült” egész szám, X, hogy egy igazi

„Kerekítése” x valós szám, hogy a nagyobb egészre

„Kerekítése” x valós szám, hogy egy kisebb egész szám

„Kerekít” x valós szám, a legközelebbi egész

„Az egész a” valós szám X

Aritmetikai műveletek is használják az összehasonlítást számértékek. Az alábbiakban felsoroljuk az összehasonlító operátorok, a fő különbség - konkreteziruyuschih számítás számértékek összehasonlítás előtt:
  • X> Y (számtani átlag (X nagyobb, mint Y))
  • X = Y (számtani átlag (x nagyobb vagy egyenlő, mint Y))
  • X =

Legnagyobb közös osztó

Nézzük meg a használatát aritmetikai műveletek egy egyszerű példa: megtalálni a legnagyobb közös osztó két egész szám.

Ha két egész számot az X és Y a legnagyobb közös osztó Z megtalálható, vezetett a következő három szabály:

  1. Ha X és Y jelentése azonos, akkor Z jelentése X.
  2. Ha X> Y, akkor Z jelentése megegyezik a legnagyobb közös osztója a különbség az Y - X.
  3. Ha Y

Blog hallgató Prologue