hello()
system
Hello , welcome to the Cambridge restaurant system? You can ask for restaurants by area , price range or food type . How may I help you?
inform((_:search,area,'south');(_:search,pricerange,'cheap');(_:search,type,'Restaurant'))
user
a cheap restaurant in the south part of town
inform((_:result,area,'south');(_:result,name,'the lucky star');(_:result,pricerange,'cheap');(_:result,type,'Restaurant'))
system
the lucky star is a nice restaurant in the south of town in the cheap price range
negate() reqalts()
user
no is there anything else
inform((_:result,area,'south');(_:result,name,'nandos');(_:result,pricerange,'cheap');(_:result,type,'Restaurant'))
system
nandos is a nice restaurant in the south of town in the cheap price range
request((_:result,phone,?);(_:result,type,'Restaurant'))
user
whats the phone number
inform((_:result,name,'nandos');(_:result,phone,'01223 327908');(_:result,type,'Restaurant'))
system
The phone number of nandos is 01223 327908 .
bye()
user
alright good bye thank you
_:system greeted _:user
_:search area south
_:search pricerange cheap
_:search type Restaurant
_:system greeted _:user
_:search area south
_:search pricerange cheap
_:search type Restaurant
_:user denied _:result/a7a3e031
_:result/a7a3e031 area south
_:result/a7a3e031 name the lucky star
_:result/a7a3e031 pricerange cheap
_:result/a7a3e031 type Restaurant
_:user inquired _:system
_:system greeted _:user
_:search area south
_:search pricerange cheap
_:search type Restaurant
_:user denied _:result/a7a3e031
_:result/a7a3e031 area south
_:result/a7a3e031 name the lucky star
_:result/a7a3e031 pricerange cheap
_:result/a7a3e031 type Restaurant
_:user inquired _:system
_:result area south
_:result name nandos
_:result pricerange cheap
_:result type Restaurant
_:result phone ?
_:system greeted _:user
_:search area south
_:search pricerange cheap
_:search type Restaurant
_:user denied _:result/a7a3e031
_:result/a7a3e031 area south
_:result/a7a3e031 name the lucky star
_:result/a7a3e031 pricerange cheap
_:result/a7a3e031 type Restaurant
_:user inquired _:system
_:result area south
_:result pricerange cheap
_:result name nandos
_:result phone 01223 327908
_:result type Restaurant
_:user dismissed _:system