/* -*- Mode: Prolog -*-
 * @(#)$Id: unblock_then_wave,v 1.1 1996/12/11 14:08:51 img Exp $
 *
 * $Log: unblock_then_wave,v $
 * Revision 1.1  1996/12/11 14:08:51  img
 * Merge mthd and smth libraries.
 *
 * Revision 1.1  1994/09/16  09:34:27  dream
 * Initial revision
 */

/* Try to wave; use unblocking if that enables it. Does not allow
   branching inside unblock_lazy  */
method(unblock_then_wave(Dir,Plan),
	  HG,	
	  [Plan = (Unblock then Wave),
	   Unblock=unblock_lazy(_),
	   applicable_submethod(HG,Unblock,_,[SubGoal]),
	   
	   Wave=wave(Dir,_,_,_),
	   applicable_submethod(SubGoal,Wave,_,SubGoals)],
	  [],
	  SubGoals,
	  Plan ).
