inform((_:search,area,'centre');(_:search,pricerange,'cheap');(_:search,type,'Restaurant'))
user
Need a cheap place to eat at at the centre .
offer((_:booking,type,'Booking')) inform((_:result,name,'Dojo Noodle bar');(_:result,type,'Restaurant'))
system
Dojo Noodle bar seems nice . Would you like me to make you a reservation ?
inform((_:search,food,'italian');(_:search,pricerange,'cheap');(_:search,type,'Restaurant'))
user
I would prefer italian food .   Do you show something cheap in the center ?
inform((_:result,name,'pizza hut city centre');(_:result,type,'Restaurant'))
system
How about pizza hut city centre ?
inform((_:search,day,'thursday');(_:search,duration,'14:45');(_:search,people,'4');(_:search,type,'Restaurant'))
user
That sounds good . Can you set aside a table for 4 at 14:45 on Thursday ?
reqmore() inform((_:booking,people,'4');(_:booking,ref,'P79A65W8');(_:booking,type,'Booking'))
system
Certainly .   I have made that reservation for 4 and the reference number is P79A65W8 .   Is there anything else I can help you with today ?
inform((_:search,name,'autumn house');(_:search,type,'Hotel'))
user
I am also looking for information on Autumn House . I believe it is a hotel .
inform((_:result,category,'guest house');(_:result,has_internet,'none');(_:result,has_parking,'none');(_:result,name,'autumn house');(_:result,pricerange,'cheap');(_:result,stars,'4');(_:result,type,'Hotel'))
system
The autumn house is a guest house it 's in the cheap price range however has a 4 star rating .   It also offers internet and parking .
request((_:result,phone,?);(_:result,type,'Hotel'))
user
What is their phone number ?
offer((_:booking,type,'Booking')) inform((_:result,phone,'01223575122');(_:result,type,'Hotel'))
system
01223575122 . Would you like me to book a room for you ?
user
Yes please , that would be great .
request((_:booking,day,?);(_:booking,people,?);(_:booking,stay,?);(_:booking,type,'Booking'))
system
What day will you be arriving , and how many people will be staying for how many nights ?
inform((_:search,day,'thursday');(_:search,people,'4');(_:search,type,'Hotel'))
user
I 'd like Thursday for 4 people , please .
request((_:booking,stay,?);(_:booking,type,'Booking'))
system
How many days would you like to stay ?
thank()
user
You know what , I have n't fully decided yet . I 've got their number , I can call later if I need to get a reservation . Thanks for all your help .
system
You 're welcome . Please call back when I can assist you .
_:search area centre
_:search pricerange cheap
_:search type Restaurant
_:search area centre
_:system offered _:booking
_:booking type Booking
_:result name Dojo Noodle bar
_:result type Restaurant
_:search food italian
_:search pricerange cheap
_:search type Restaurant
_:search area centre
_:system offered _:booking
_:booking type Booking
_:search food italian
_:search pricerange cheap
_:result name pizza hut city centre
_:result type Restaurant
_:search day thursday
_:search duration 14:45
_:search people 4
_:search type Restaurant
_:search area centre
_:system offered _:booking
_:search food italian
_:search pricerange cheap
_:result name pizza hut city centre
_:result type Restaurant
_:search day thursday
_:search duration 14:45
_:search people 4
_:system inquired _:user
_:booking people 4
_:booking ref P79A65W8
_:booking type Booking
_:search name autumn house
_:search type Hotel
_:search area centre
_:system offered _:booking
_:search food italian
_:search pricerange cheap
_:search day thursday
_:search duration 14:45
_:search people 4
_:system inquired _:user
_:booking people 4
_:booking ref P79A65W8
_:booking type Booking
_:search name autumn house
_:search type Hotel
_:result category guest house
_:result has_internet none
_:result has_parking none
_:result name autumn house
_:result pricerange cheap
_:result stars 4
_:result type Hotel
_:result phone ?
_:search area centre
_:system offered _:booking
_:search food italian
_:search pricerange cheap
_:search day thursday
_:search duration 14:45
_:search people 4
_:system inquired _:user
_:booking people 4
_:booking ref P79A65W8
_:booking type Booking
_:search name autumn house
_:search type Hotel
_:result category guest house
_:result has_internet none
_:result has_parking none
_:result name autumn house
_:result pricerange cheap
_:result stars 4
_:result phone 01223575122
_:result type Hotel
_:search area centre
_:system offered _:booking
_:search food italian
_:search pricerange cheap
_:search duration 14:45
_:system inquired _:user
_:booking ref P79A65W8
_:search name autumn house
_:result category guest house
_:result has_internet none
_:result has_parking none
_:result name autumn house
_:result pricerange cheap
_:result stars 4
_:result phone 01223575122
_:result type Hotel
_:booking day ?
_:booking people ?
_:booking stay ?
_:booking type Booking
_:search day thursday
_:search people 4
_:search type Hotel
_:search area centre
_:system offered _:booking
_:search food italian
_:search pricerange cheap
_:search duration 14:45
_:system inquired _:user
_:booking ref P79A65W8
_:search name autumn house
_:result category guest house
_:result has_internet none
_:result has_parking none
_:result name autumn house
_:result pricerange cheap
_:result stars 4
_:result phone 01223575122
_:result type Hotel
_:booking day ?
_:booking people ?
_:search day thursday
_:search people 4
_:search type Hotel
_:booking stay ?
_:booking type Booking