Simplest, most general approach to automatic integration.

• Can work on information-only web services today
• Pre-conditions and effects easily added
• Demonstrates flexibility of computational logic
• Two rules for knowing: web services and functions
• Function inversion rules
• Large class of problems can be solved
  with various web services and functions
• Has limitations / research opportunites