% File 'bw-serializable-h-test'
% A query about histories of length 1 in the blocks world
%  with blocks a,b,c,d

:- macros
  maxstep -> 1.

:- include 'history.std', 'bw-serializable'.

:- objects
  a,b,c,d			:: block.

:- query

% Find the result of moving block a to the table in the state
%
%    a   c   
%    b   d   
%  --------- 

 anyFluentValues;
 constraint 0:
  loc(a)=b,
  loc(b)=table,
  loc(c)=d,
  loc(d)=table;

 cwaActions;
 constraint 0:
  move(a),
  destination(a)=table.