Arithmetic

• Built-Ins to Evaluate Arithmetic Expressions
• Numeric Types and Type Conversions
  • Integers
  • Rationals
  • Floating Point Numbers
  • Type Conversions
• Arithmetic Functions
  • Predefined Arithmetic Functions
  • Evaluation Mechanism
  • User Defined Arithmetic Functions
  • Runtime Expressions
• Low Level Arithmetic Builtins
• The Multi-Directional Predicates plus/3 and times/3
• Arithmetic and Coroutining