/* $Id: nobigger.pl,v 321.2 2002-02-27 18:40:28-08 - - $ */

/*
* Sample of the use of tracing calls.
* Find the biggest number in a list.
*/

mynumber( 3 ).
mynumber( 6 ).
mynumber( 9 ).

biggest( Number ) :-
	mynumber( Number ),
	nobigger( Number ).

nobigger( Number ) :-
	mynumber( Other ),	
	Other > Number,
	!,
	fail.

traceon :-
	trace( mynumber ),
	trace( biggest ),
	trace( nobigger ).

:- traceon.

:- biggest( Number ).

/*:- halt.*/