% ==========================================================================
% $Id: max.pl,v 1.2 2014/01/21 17:07:08 jlang Exp $
% CSI2120 example Code for lecture 4
% ==========================================================================
% (C)opyright:
%
%   Jochen Lang
%   SITE, University of Ottawa
%   800 King Edward Ave.
%   Ottawa, On., K1N 6N5
%   Canada. 
%   http://www.eecs.uottawa.ca/~jlang
% 
% Creator: jlang (Jochen Lang) based on CSI2520 course material
% Email:   jlang@eecs.uottawa.ca
% ==========================================================================
% $Log: max.pl,v $
% Revision 1.2  2014/01/21 17:07:08  jlang
% Removed extra line feeds
%
% Revision 1.1  2014/01/21 17:05:53  jlang
% Added cut examples for lecture 4
%
% ==========================================================================
% Incorrect
% max(X,Y,X) :- X >= Y.
% max(_,Y,Y).
% Extra test
max(X,Y,X) :- X >= Y.
max(X,Y,Y) :- X < Y.
% Efficient with the cut
% max(X,Y,X) :- X >= Y, !.
% max(_,Y,Y).