

% This is a CORAL script.  When consulted at the CORAL prompt,
% it consults some files, enters some facts, creates more facts
% by evaluating some queries, and executes an lcs query.

consult(lcs.P).
consult(make_seq.P).
input_seq(e,[c,a,c,b,c,b,a,b,c,c]).
input_seq(f,[d,d,a,d,b,b,d,a,b,d]).
reset_timer.
seq(A,N,C) := sequence(A,N,C).
display_timer.
reset_timer.
?lcs(e,1,10,f,1,10,N,L).
display_timer.
quit.
