% ==========================================================================
% $Id: province.pl,v 1.1 2014/01/14 16:57:22 jlang Exp $
% CSI2120 example Code for lecture 3
% ==========================================================================
% (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: province.pl,v $
% Revision 1.1  2014/01/14 16:57:22  jlang
% Checked in some examples for lecture 3
%
% ==========================================================================

capital(ontario,toronto).
capital(quebec,quebec).
capital(bc,victoria).
capital(alberta,edmonton).
capital(newfoundland,st-john).
capital(nova-scotia,halifax).
capital(saskatchewan,regina).
capital(manitoba,winnipeg).
capital(new-brunswick,fredericton).
capital(pei,charlottetown).

start :- write('The capitals of Canada'),nl,
  askP.

askP :- write('Province? '),
  read(Province),
  answer(Province).

answer(stop) :- write('Exiting'),nl.
answer(Province) :- capital(Province,City),
  write(City),write(' is the capital of '),write(Province),nl,nl,
  askP.