Travel Example
Bob Chen wants to travel from San Francisco to Monterey,
departing September 2 and returning September 6.
The purpose of the travel is DAML.
Our Lab’s Relevant Constraints
KSL Business air travel must be on an American carrier.
Bob’s Relevant Constraints
Bob would like to drive if the driving distance is less than 3 hours.
Generic Procedure:
Travel(customer,origin, dest, date-d, date-r, purpose)
Book-travel(origin,dest);
Book-transportation(dest);
Book-hotel(dest);
Inform(customer);
Create-expense-claim;
end;