Example

• (?x ? y) ((?x ? x x) (?x ? x x))

  • never reduces in applicative-order

• (?x ? y) ((?x ? x x) (?x ? x x))

  • reduces to y directly in normal-order

Previous slide

Next slide

Back to first slide

View graphic version