% For testing the Briefcase domain

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

% Initially, The dictionary and briefcase are at home
% with the paycheck inside the briefcase.
% We wish to have the dictionary and briefcase at 
% work, but want to keep the paycheck at home.
:- query
maxstep :: 1..10;
label :: 0;
0: location(briefcase)=home,
   holds(briefcase,paycheck),
   location(dictionary)=home,
   -holds(briefcase,dictionary);
maxstep: 
   location(briefcase)=office,
   location(dictionary)=office,
   location(paycheck)=home.


% Is it possible to put the dictionary at home
% into the briefcase at the office?  The answer
% should be "no."
:- query
maxstep :: 1;
label :: 1;
0: location(dictionary)=home,
   location(briefcase)=office,
   putin(dictionary).
