/*  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).