Script started on Tue Jul 13 12:04:54 1999
Terminal is : xterm
Display is: fxt23.cs.yorku.ca:0.0
]2;tiger:/cs/home/fac1/lesperan/cogrobo/IndiGologtiger 41 % prolog

Quintus Prolog Release 3.2 (Sun 4, SunOS 5.5.1)
Copyright (C) 1994, Quintus Corporation.  All rights reserved.
301 East Evelyn Ave, Mountain View, California U.S.A. (415) 254-2800
Licensed to York Univerity, Canada

| ?- [interpreter].
% compiling file /cs/home/fac1/lesperan/cogrobo/IndiGolog/interpreter.pl
%  loading file /cs/local/packages/quintus/generic/qplib3.2/library/not.qof
%   loading file /cs/local/packages/quintus/generic/qplib3.2/library/freevars.qof
%   freevars.qof loaded in module negation, 0.010 sec 2,844 bytes
%  not.qof loaded, 0.030 sec 6,248 bytes
%  module negation imported into user
* Clauses for final/2 are not together in the source file
* Approximate line: 66, file: '/cs/home/fac1/lesperan/cogrobo/IndiGolog/interpreter.pl'
* Clauses for trans/4 are not together in the source file
* Approximate line: 75, file: '/cs/home/fac1/lesperan/cogrobo/IndiGolog/interpreter.pl'
% interpreter.pl compiled in module user, 0.230 sec 13,196 bytes

yes
| ?- [example2].
% compiling file /cs/home/fac1/lesperan/cogrobo/IndiGolog/example2.pl
% example2.pl compiled in module user, 0.060 sec 2,872 bytes

yes
| ?- indigolog(dumb_control).

no
| ?- indigolog(smart_control).
up
up
open
close
off(5)
down
down
down
open
close
off(2)
down
open

13 actions.

yes
| ?- ^D
tiger 42 % exit

exit

script done on Tue Jul 13 12:05:56 1999