Constraint Solver Definition

• Name: Arithmetic

• Depends upon: Unify

• Signature:

  rational : type.
  
  + : rational -> rational -> rational.
  * : rational -> rational -> rational.
  ...

• Special constants:

  q : rational. (for all rational numbers q)
  

Example

Previous slide

Next slide

Back to first slide

View graphic version