examples/benchmarks/portland/cd.pl - prolog-cafe - Git at Google

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