/*  VAX C-Prolog Benchmark Package  /*
/*  Copyright 1985 by Tektronix, Inc., and Portland State University  /*
 
 
/*  cd(Up,Down) counts down from Up to Down  */
 
cd(X,X).
 
cd(Up,Down) :-
X is Up-1, cd(X,Down).
