% ==========================================================================
% $Id: farmbuildings.pl,v 1.3 2014/01/14 16:57:22 jlang Exp $
% CSI2120 example Code for lecture 2
% ==========================================================================
% (C)opyright:
%
%   Jochen Lang
%   EECS, 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: farmbuildings.pl,v $
% Revision 1.3  2014/01/14 16:57:22  jlang
% Checked in some examples for lecture 3
%
% Revision 1.2  2014/01/09 20:09:13  jlang
% Removed blank lines.
%
% Revision 1.1  2014/01/09 19:11:36  jlang
% Added search tree examples for lecture 2
%
% ==========================================================================

parent(building,farmbuilding).
parent(farmbuilding,barn).
parent(farmbuilding,silo).
parent(farmbuilding,house).
parent(barn,horsebarn).
parent(barn,cowbarn).
typeof(X,Y):- parent(Z,X),typeof(Z,Y).
typeof(X,Y):- parent(Y,X).