Priming the Pump

• Instead of

  • q(From, To) => United(FlightNum, $From, To)

• We’ll write

  • q(From, To) => AllPossibleAirports(From) & United(FlightNum, $From, To)
  • AllPossibleAirports(Name) => …

• Must generate these domain rules automatically

  • Paper generates one domain predicate
  • You should generate one per type

Previous slide

Next slide

Back to first slide

View graphic version