1%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 2% FILE : indigolog-vanilla_ecl 3% 4% IndiGolog vanilla interpreter for ECLIPSE Prolog 5%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 6% 7% March, 1999 8% 9% This software was developed by the Cognitive Robotics Group under the 10% direction of Hector Levesque and Ray Reiter. 11% 12% Do not distribute without permission. 13% Include this notice in any copy made. 14% 15% 16% Copyright (c) 2002-2005 by The University of Toronto, 17% Toronto, Ontario, Canada. 18% 19% All Rights Reserved 20% 21% Permission to use, copy, and modify, this software and its 22% documentation for non-commercial research purpose is hereby granted 23% without fee, provided that the above copyright notice appears in all 24% copies and that both the copyright notice and this permission notice 25% appear in supporting documentation, and that the name of The University 26% of Toronto not be used in advertising or publicity pertaining to 27% distribution of the software without specific, written prior 28% permission. The University of Toronto makes no representations about 29% the suitability of this software for any purpose. It is provided "as 30% is" without express or implied warranty. 31% THE UNIVERSITY OF TORONTO DISCLAIMS ALL WARRANTIES WITH REGARD TO THIS 32% SOFTWARE, INCLUDING ALL IMPLIED WARRANTIES OF MERCHANTABILITY AND 33% FITNESS, IN NO EVENT SHALL THE UNIVERSITY OF TORONTO BE LIABLE FOR ANY 34% SPECIAL, INDIRECT OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES WHATSOEVER 35% RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION OF 36% CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN 37% CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. 38% 39%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 40:- set_flag(debug_compile, off). 41:- set_flag(variable_names, off). % To speed up execution 42:- discontiguous(prim_action/1). 43:- discontiguous(causes_val/4). 44:- discontiguous(poss/2). 45:- discontiguous(proc/2). 46:- discontiguous(prim_fluent/1). 47:- discontiguous(final/2). 48:- discontiguous(trans/4). 49 50:- ['indigolog-vanilla.pl']. 51 52%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 53% EOF: indigolog-vanilla_ecl.pl 54%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%