% Logik og sprog, Modul 2, datalogi RUC      Henning Christiansen
%
% 
%  Abeprogrammet fra Bratkos bog

% Legal moves

move( state( middle, onbox, middle, hasnot),
      grasp,
      state( middle, onbox, middle, has) ).

move( state(P , onfloor, P, H),
      climb,
      state(P , onbox, P, H) ).

move( state(P1, onfloor, P1, H),
      push( P1, P2),
      state(P2, onfloor, P2, H) ).

move( state(P1, onfloor, B, H),
      walk( P1, P2),
      state(P2, onfloor, B, H) ).

canget( state(_,_,_, has) ).

canget( State1) :-
  move( State1, Move, State2), 
  canget( State2).