====== Min ======
{{tag>math cut}}
===== Description =====
Minimum with cuts

**Source**:  The Art of Prolog
===== Download =====
Program source code: {{min.pl}}
===== Listing =====
<code prolog>
/*
   minimum(X,Y,Min) :- Min is the minimum of the numbers X and Y.
*/
   minimum(X,Y,X) :- X =< Y, !.
   minimum(X,Y,Y) :- X > Y, !.

%  Program 11.3    Minimum with cuts

</code>
===== Comments =====