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