% ==========================================================================
% $Id: elevator.pl,v 1.1 2014/02/13 05:47:10 jlang Exp $
% CSI2120 example Code for lecture 9
% ==========================================================================
% (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) based on Clocksin & Mellish
% Email:   jlang@eecs.uottawa.ca
% ==========================================================================
% $Log: elevator.pl,v $
% Revision 1.1  2014/02/13 05:47:10  jlang
% Added grammar examples for lecture 9.
%
% ==========================================================================
displacement(L) --> motion(L).
displacement(L) --> motion(L1), displacement(L2), {L is L1+L2}.

motion(1) --> [up].
motion(-1) --> [down].