% ==========================================================================
% $Id: firstrule.pl,v 1.2 2014/01/09 20:09:13 jlang Exp $
% CSI2120 example Code for lecture 1
% ==========================================================================
% (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)
% Email:   jlang@eecs.uottawa.ca
% ==========================================================================
% $Log: firstrule.pl,v $
% Revision 1.2  2014/01/09 20:09:13  jlang
% Removed blank lines.
%
% Revision 1.1  2014/01/07 01:50:13  jlang
% Created examples for Lecture 1
%
% ==========================================================================

like(dogs,cats).
like(horses,fish).
like(cats,mice).
like(dogs,mice).
like(horses,racing).
like(cats,horses).
like(tigers,cats).
like(cats,hay).
like(cows,grass).
like(cows,hay).
like(horses,hay).

like(horses,X) :- like(X,hay), like(X,mice).