inform((_:search,day,'tuesday');(_:search,leave_at,'20:15');(_:search,type,'Train'))
user
I would like to book a train that is running on Tuesday and departs anytime after 20:15 , can you help me with that ?
request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Train'))
system
Where would you like to travel from and to ?
inform((_:search,departure,'cambridge');(_:search,destination,'peterborough');(_:search,type,'Train'))
user
The train should depart from cambridge and travel to peterborough .
inform((_:result,count,'7');(_:result,id,'TR5110');(_:result,leave_at,'20:34');(_:result,type,'Train'))
system
Sure , I have 7 trains that would work . The closest to your requested time is the TR5110 that leaves at 20:34 .
request((_:result,arrive_by,?);(_:result,ticket,?);(_:result,type,'Train'))
user
That will work . What is the price and arrival time for that ?
inform((_:result,arrive_by,'21:24');(_:result,ticket,'16.50 pounds');(_:result,type,'Train'))
system
That will cost you 16.50 pounds and you will arrive by 21:24 .
inform((_:search,name,'home from home');(_:search,type,'Hotel'))
user
That is great . I also want to know about a hotel called home from home . Can you find it for me .
offer((_:booking,type,'Booking')) inform((_:result,area,'north');(_:result,category,'guesthouse');(_:result,has_internet,'none');(_:result,has_parking,'none');(_:result,name,'Home from Home');(_:result,pricerange,'moderately priced');(_:result,type,'Hotel')) thank()
system
Certainly . Home from Home is a guesthouse on the north end of the city . It offers free internet and parking and is moderately priced . Would you like to book a room ?
inform((_:search,day,'saturday');(_:search,people,'8');(_:search,stay,'3');(_:search,type,'Hotel'))
user
Yes . I would like to book for 8 people for 3 nights starting from Saturday .
inform((_:booking,ref,'I5VKNKJ3');(_:booking,type,'Booking'))
system
Your booking was successfull ! Reference number is I5VKNKJ3
thank()
user
Thank you have a nice day .
system
You too . Goodbye .
_:search day tuesday
_:search leave_at 20:15
_:search type Train
_:search day tuesday
_:search leave_at 20:15
_:search departure cambridge
_:search destination peterborough
_:search type Train
_:search day tuesday
_:search leave_at 20:15
_:search departure cambridge
_:search destination peterborough
_:search type Train
_:result count 7
_:result id TR5110
_:result leave_at 20:34
_:result type Train
_:result arrive_by ?
_:result ticket ?
_:search day tuesday
_:search leave_at 20:15
_:search departure cambridge
_:search destination peterborough
_:result count 7
_:result id TR5110
_:result leave_at 20:34
_:result arrive_by 21:24
_:result ticket 16.50 pounds
_:result type Train
_:search name home from home
_:search type Hotel
_:search leave_at 20:15
_:search departure cambridge
_:search destination peterborough
_:result count 7
_:result id TR5110
_:result leave_at 20:34
_:result arrive_by 21:24
_:result ticket 16.50 pounds
_:search name home from home
_:system offered _:booking
_:booking type Booking
_:result area north
_:result category guesthouse
_:result has_internet none
_:result has_parking none
_:result name Home from Home
_:result pricerange moderately priced
_:result type Hotel
_:search day saturday
_:search people 8
_:search stay 3
_:search type Hotel
_:search leave_at 20:15
_:search departure cambridge
_:search destination peterborough
_:result count 7
_:result id TR5110
_:result leave_at 20:34
_:result arrive_by 21:24
_:result ticket 16.50 pounds
_:search name home from home
_:system offered _:booking
_:result area north
_:result category guesthouse
_:result has_internet none
_:result has_parking none
_:result name Home from Home
_:result pricerange moderately priced
_:result type Hotel
_:search day saturday
_:search people 8
_:search stay 3
_:search type Hotel
_:booking ref I5VKNKJ3
_:booking type Booking