% For testing the Buying domain

% Load domain description
:- include 'buying.cc'.

:- query
maxstep :: 1;
label :: 0;
0: amount(money,john)=10,
   amount(money,store1)=3,
   amount(flowers,john)=0,
   amount(flowers,store1)=10,
   buy(john,3,flowers,store1,6).
