1%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
    2%
    3% FILE: Elevator-Vanilla/main1_ecl.pl
    4%
    5%  AUTHOR : Sebastian Sardina (2002)
    6%  EMAIL  : ssardina@cs.toronto.edu
    7%  WWW    : www.cs.toronto.edu/~ssardina www.cs.toronto.edu/cogrobo
    8%  TYPE   : system dependent code
    9%  TESTED : ECLIPSE Version 5.10 44, Sun Jan 14 02:06 2007
   10%
   11%  This is example1 for the first IndiGolog code written by H. Levesque
   12%
   13% Written for SWI Prolog http://www.swi-prolog.org/) running under Linux
   14%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   15%
   16%                             June 15, 2000
   17%
   18% This software was developed by the Cognitive Robotics Group under the
   19% direction of Hector Levesque and Ray Reiter.
   20%
   21%        Do not distribute without permission.
   22%        Include this notice in any copy made.
   23%
   24%
   25%         Copyright (c) 2000 by The University of Toronto,
   26%                        Toronto, Ontario, Canada.
   27%
   28%                          All Rights Reserved
   29%
   30% Permission to use, copy, and modify, this software and its
   31% documentation for non-commercial research purpose is hereby granted
   32% without fee, provided that the above copyright notice appears in all
   33% copies and that both the copyright notice and this permission notice
   34% appear in supporting documentation, and that the name of The University
   35% of Toronto not be used in advertising or publicity pertaining to
   36% distribution of the software without specific, written prior
   37% permission.  The University of Toronto makes no representations about
   38% the suitability of this software for any purpose.  It is provided "as
   39% is" without express or implied warranty.
   40% 
   41% THE UNIVERSITY OF TORONTO DISCLAIMS ALL WARRANTIES WITH REGARD TO THIS
   42% SOFTWARE, INCLUDING ALL IMPLIED WARRANTIES OF MERCHANTABILITY AND
   43% FITNESS, IN NO EVENT SHALL THE UNIVERSITY OF TORONTO BE LIABLE FOR ANY
   44% SPECIAL, INDIRECT OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES WHATSOEVER
   45% RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION OF
   46% CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN
   47% CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
   48% 
   49%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   50% 
   51% Call Prolog, consult mainN_xxx.pl file and run "main". You should see
   52% the output in the terminal!. 
   53%
   54% The following is provided:
   55%
   56% -- main: runs the main controller
   57%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   58
   59%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   60% CONSULT NECESSARY FILES
   61%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   62
   63% 1 - Consult the top-level interpreter
   64:- ['../../Interpreters/indigolog-vanilla_ecl'].   65
   66% 4 - Consult application
   67:- [example1].   68
   69%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   70% MAIN PREDICATE - evaluate this to run demo
   71%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   72
   73% main/0: Gets IndiGolog to evaluate a chosen mainControl procedure
   74main:- 	indigolog(control).
   75
   76
   77%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   78% EOF: Elevator-Vanilla/main1_swi.pl
   79%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%