% ==========================================================================
% $Id: turn.pl,v 1.1 2014/01/23 04:34:04 jlang Exp $
% CSI2120 example Code for lecture 6
% ==========================================================================
% (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: turn.pl,v $
% Revision 1.1  2014/01/23 04:34:04  jlang
% Created examples for lecture 6
%
% ==========================================================================
turn(elgin,wellington).
turn(elgin,catherine).
turn(elgin,laurier).
turn(qed,laurier).
turn(qed,bank).
turn(bank,qed).
turn(bank,sommerset).
turn(bank,gladstone).
turn(bank,wellington).

% Queries:
% setof(X,turn(X,Y),B).
% setof(Y,turn(X,Y),B).
% setof(Y,X^turn(X,Y),B).
% bagof(Y,X^turn(X,Y),B).
% setof([X,Y],turn(X,Y),B).