Script started on Tue Jul 13 12:00:06 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.040 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.250 sec 13,196 bytes yes | ?- [example3]. % compiling file /cs/home/fac1/lesperan/cogrobo/IndiGolog/example3.pl % example3.pl compiled in module user, 0.070 sec 3,400 bytes yes | ?- indigolog(control). Exogenous input:nil. start_interrupts Exogenous input:nil. down Exogenous input:on(5). Exogenous input:nil. up Exogenous input:nil. up Exogenous input:nil. up Exogenous input:nil. off(5) Exogenous input:nil. down Exogenous input:nil. down Exogenous input:nil. down Exogenous input:on(4). Exogenous input:nil. up Exogenous input:nil. up Exogenous input:nil. off(4) Exogenous input:nil. down Exogenous input:smoke. Exogenous input:nil. ring Exogenous input:nil. ring Exogenous input:nil. ring Exogenous input:nil. ring Exogenous input:reset. Exogenous input:nil. down Exogenous input:nil. down Exogenous input:nil. stop_interrupts Exogenous input:nil. 24 actions. yes | ?- ^D tiger 42 % exit exit script done on Tue Jul 13 12:01:32 1999