% File "checkplan": for plan checking with plans represented by FACTS
%
% $Name:  $

goal :- time(T1),
	time(T2),
	time(T3), 
	goal(T1,left_rcs),
	goal(T2,right_rcs),
	goal(T3,fwd_rcs).

goal(T,S) :- time(T), done(S).

:- not goal.

