inform((_:search,arrive_by,'19:00');(_:search,departure,'cambridge');(_:search,type,'Train'))
user
I need a train to leave cambridge and arrive by 19:00
request((_:search,destination,?);(_:search,type,'Train'))
system
sure , what is your destination ?
inform((_:search,destination,'stansted airport');(_:search,type,'Train'))
user
My destination is going to be stansted airport
request((_:search,day,?);(_:search,type,'Train'))
system
What day will you be traveling ?
inform((_:search,day,'thursday');(_:search,type,'Train'))
user
I should leave on Thursday .
inform((_:result,arrive_by,'18:08');(_:result,destination,'the airport');(_:result,leave_at,'17:40');(_:result,type,'Train'))
system
Okay , the 17:40 train arriving at 18:08 will get you to the airport a little early .
inform((_:search,people,'7');(_:search,type,'Train'))
user
Great . Can you book me 7 seats on that train ?
reqmore() inform((_:booking,category,'Train');(_:booking,ref,'IVUVQUHJ');(_:booking,ticket,'70.7 GBP');(_:booking,type,'Booking'))
system
Here is your reference number IVUVQUHJ and the total fee is 70.7 GBP . Is their anything else I can help you with ?
inform((_:search,area,'south');(_:search,food,'modern european');(_:search,type,'Restaurant'))
user
I also want to eat Modern European in the south .
offer((_:booking,type,'Booking')) inform((_:result,name,'restaurant alimentum');(_:result,type,'Restaurant'))
system
restaurant alimentum is the place for you ! Do you need a reservation ?
inform((_:search,day,'same day');(_:search,duration,'10:00');(_:search,people,'7');(_:search,type,'Restaurant'))
user
Yes , please , make it for the same group ( 7 people ) , 10:00 on the same day .
inform((_:booking,day,'Thursday');(_:booking,duration,'10:00');(_:booking,name,'Restaurant Alimentum');(_:booking,ref,'1U8QWEDC');(_:booking,type,'Booking'))
system
Your booking has been made at Restaurant Alimentum for Thursday at 10:00 .   Reference number is 1U8QWEDC .
thank()
user
Thanks for the help ! Goodbye .
system
Have a great trip !   I hope you enjoy your trip !
_:search arrive_by 19:00
_:search departure cambridge
_:search type Train
_:search arrive_by 19:00
_:search departure cambridge
_:search destination stansted airport
_:search type Train
_:search arrive_by 19:00
_:search departure cambridge
_:search destination stansted airport
_:search day thursday
_:search type Train
_:search arrive_by 19:00
_:search departure cambridge
_:search destination stansted airport
_:search day thursday
_:result arrive_by 18:08
_:result destination the airport
_:result leave_at 17:40
_:result type Train
_:search people 7
_:search type Train
_:search arrive_by 19:00
_:search departure cambridge
_:search destination stansted airport
_:search day thursday
_:result arrive_by 18:08
_:result destination the airport
_:result leave_at 17:40
_:result type Train
_:search people 7
_:system inquired _:user
_:booking category Train
_:booking ref IVUVQUHJ
_:booking ticket 70.7 GBP
_:booking type Booking
_:search area south
_:search food modern european
_:search type Restaurant
_:search arrive_by 19:00
_:search departure cambridge
_:search destination stansted airport
_:result arrive_by 18:08
_:result destination the airport
_:result leave_at 17:40
_:system inquired _:user
_:booking category Train
_:booking ref IVUVQUHJ
_:booking ticket 70.7 GBP
_:booking type Booking
_:search area south
_:search food modern european
_:system offered _:booking
_:result name restaurant alimentum
_:result type Restaurant
_:search day same day
_:search duration 10:00
_:search people 7
_:search type Restaurant
_:search arrive_by 19:00
_:search departure cambridge
_:search destination stansted airport
_:result arrive_by 18:08
_:result destination the airport
_:result leave_at 17:40
_:system inquired _:user
_:booking category Train
_:booking ticket 70.7 GBP
_:search area south
_:search food modern european
_:system offered _:booking
_:result name restaurant alimentum
_:result type Restaurant
_:search day same day
_:search duration 10:00
_:search people 7
_:search type Restaurant
_:booking day Thursday
_:booking duration 10:00
_:booking name Restaurant Alimentum
_:booking ref 1U8QWEDC
_:booking type Booking