Script started on Tue Jul 13 11:53:55 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.000 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 | ?- [example4]. % compiling file /cs/home/fac1/lesperan/cogrobo/IndiGolog/example4.pl % example4.pl compiled in module user, 0.050 sec 2,424 bytes yes | ?- indigolog(control). look(1):off. look(2):off. look(3):off. look(4):off. look(5):on. look(6):off. up up off(5) down look(1):off. look(2):off. look(3):off. look(4):off. look(5):off. look(6):off. down look(1):off. look(2):off. look(3):off. look(4):off. look(5):off. look(6):off. down look(1):off. look(2):off. look(3):off. look(4):on. look(5):off. look(6):off. up up off(4) down look(1):off. look(2):off. look(3):off. look(4):off. look(5):off. look(6):off. down look(1):off. look(2):off. look(3):off. look(4):off. look(5):off. look(6):off. down look(1):off. look(2):off. look(3):off. look(4):off. look(5):off. look(6):off. 96 actions. yes | ?- ^D tiger 42 % exit exit script done on Tue Jul 13 11:55:33 1999