/*
 * @(#)$Id: external_decision,v 1.1.2.1 1998/05/12 16:10:06 rjb Exp $
 *
 * $Log: external_decision,v $
 * Revision 1.1.2.1  1998/05/12 16:10:06  rjb
 * New methods for co-operating with external systems.
 *
 */

method(external_decision(external([decidable(Prover)],[],Result)),
       H==>G,
       [applicable_submethod(H==>G,external([decidable(Prover)],[],Result),
                             _,Outputs)],
       [],
       Outputs,
       external_decision(external([decidable(Prover)],[],Result))
      ).
