inform((_:search,arrive_by,'11:00');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
I need a trip going to Cambridge and arrive by 11:00
request((_:search,departure,?);(_:search,type,'Train'))
system
Where are you leaving from ?
inform((_:search,departure,'norwich');(_:search,type,'Train'))
user
I am leaving from Norwich
inform((_:result,amount,'many');(_:result,type,'Train')) request((_:search,day,?);(_:search,type,'Train'))
system
We have many trains that meet that criteria . Can you tell me what day you are looking to travel on ?
inform((_:search,day,'tuesday');(_:search,type,'Train'))
user
Of course , I will be traveling on Tuesday .
select((_:result,leave_at,'09:16');(_:result,leave_at,'every hour starting at 05:16');(_:result,type,'Train')) inform((_:result,count,'5');(_:result,type,'Train'))
system
There are five entries meeting your specifications ! They leave every hour starting at 05:16 to 09:16 . Which would you like ?
inform((_:search,people,'8');(_:search,type,'Train'))
user
Please pick one and book it for 8 people .
reqmore() inform((_:booking,arrive_by,'10:35');(_:booking,category,'Train');(_:booking,departure,'Norwich');(_:booking,destination,'Cambridge');(_:booking,leave_at,'9:16');(_:booking,people,'8');(_:booking,ref,'X1F43YH3');(_:booking,ticket,'140.8 GB');(_:booking,type,'Booking'))
system
8 tickets are booked for TR4134 Norwich to Cambridge . Departing 9:16 arriving 10:35 . Total fee is 140.8 GB payable at the station . Reference # X1F43YH3 . Anything else ?
inform((_:search,category,'colleges');(_:search,type,'Attraction'))
user
I am also looking for any colleges in town . Can you name me any ?
request((_:search,area,?);(_:search,entrance_fee,?);(_:search,type,'Attraction')) inform((_:result,category,'colleges');(_:result,count,'18');(_:result,type,'Attraction'))
system
We have 18 colleges in town . Did you have an area or entrance fee in mind ?
inform((_:search,area,'dontcare');(_:search,type,'Attraction')) request((_:result,postcode,?);(_:result,type,'Attraction'))
user
Nah , not really . Can you just give me the postcode for your favorite one ?
reqmore() inform((_:result,name,"Christ 's College");(_:result,postcode,'cb23bu');(_:result,type,'Attraction'))
system
Christ 's College is widely praised . Their postcode is cb23bu . Can I help with anything else today ?
thank()
user
that s all i need thanks
system
The pleasure was all mine , have a great day !
_:search arrive_by 11:00
_:search destination cambridge
_:search type Train
_:search arrive_by 11:00
_:search destination cambridge
_:search departure norwich
_:search type Train
_:search arrive_by 11:00
_:search destination cambridge
_:search departure norwich
_:result amount many
_:result type Train
_:search day tuesday
_:search type Train
_:search arrive_by 11:00
_:search destination cambridge
_:search departure norwich
_:result amount many
_:search day tuesday
_:result leave_at 09:16
_:result leave_at every hour starting at 05:16
_:result count 5
_:result type Train
_:search people 8
_:search type Train
_:search arrive_by 11:00
_:search destination cambridge
_:search departure norwich
_:result amount many
_:search day tuesday
_:result leave_at 09:16
_:result leave_at every hour starting at 05:16
_:result count 5
_:result type Train
_:search people 8
_:system inquired _:user
_:booking arrive_by 10:35
_:booking category Train
_:booking departure Norwich
_:booking destination Cambridge
_:booking leave_at 9:16
_:booking people 8
_:booking ref X1F43YH3
_:booking ticket 140.8 GB
_:booking type Booking
_:search category colleges
_:search type Attraction
_:search arrive_by 11:00
_:search destination cambridge
_:search departure norwich
_:result amount many
_:search day tuesday
_:result leave_at 09:16
_:result leave_at every hour starting at 05:16
_:search people 8
_:system inquired _:user
_:booking arrive_by 10:35
_:booking category Train
_:booking departure Norwich
_:booking destination Cambridge
_:booking leave_at 9:16
_:booking people 8
_:booking ref X1F43YH3
_:booking ticket 140.8 GB
_:booking type Booking
_:search category colleges
_:search entrance_fee ?
_:result category colleges
_:result count 18
_:result type Attraction
_:search area dontcare
_:search type Attraction
_:result postcode ?
_:search arrive_by 11:00
_:search destination cambridge
_:search departure norwich
_:result amount many
_:search day tuesday
_:result leave_at 09:16
_:result leave_at every hour starting at 05:16
_:search people 8
_:booking arrive_by 10:35
_:booking category Train
_:booking departure Norwich
_:booking destination Cambridge
_:booking leave_at 9:16
_:booking people 8
_:booking ref X1F43YH3
_:booking ticket 140.8 GB
_:booking type Booking
_:search category colleges
_:search entrance_fee ?
_:result category colleges
_:result count 18
_:search area dontcare
_:search type Attraction
_:system inquired _:user
_:result name Christ 's College
_:result postcode cb23bu
_:result type Attraction