inform((_:search,area,'north');(_:search,pricerange,'cheap');(_:search,type,'Restaurant')) request((_:result,phone,?);(_:result,type,'Restaurant'))
user
I want to find a cheap restaurant in the north part of town . What is the phone number ?
inform((_:result,area,'north');(_:result,name,'da vinci pizzeria');(_:result,phone,'01223 351707');(_:result,pricerange,'cheap');(_:result,type,'Restaurant'))
system
da vinci pizzeria is in the north part of town and in the cheap price range . Their phone number is 01223 351707
thank()
user
Thank you . Goodbye .
system
Enjoy your dinner !
_:search area north
_:search pricerange cheap
_:search type Restaurant
_:result phone ?
_:result type Restaurant
_:search area north
_:search pricerange cheap
_:search type Restaurant
_:result area north
_:result name da vinci pizzeria
_:result phone 01223 351707
_:result pricerange cheap
_:result type Restaurant