From: Cheng Jin
Subject: exiting GCL?
Date: 
Message-ID: <3240C967.803C902@engin.umich.edu>
I am running gcl 1.0 under linux.

I could not find a way to exit the program.  I have tried (load) and (quit) at the command
prompt, but gcl told me command/function not recognized?

Any help will be appreciated!

Thanks
Cheng
------------------------------------------------------------------------------
| [~~~| |~~~]  [~~~\./~~~] |  They say hard work never hurt anybody, but I   |
|  |  [_]  |    | [\ /] |  |  figure why take the chance.                    |
|  \......./   [...] [...] |                              -- Ronald Reagan   |
|__________________________|_________________________________________________|

From: Michael Covington
Subject: Re: exiting GCL?
Date: 
Message-ID: <51rg7b$2fg@hobbes.cc.uga.edu>
Cheng Jin (········@engin.umich.edu) wrote:
: I am running gcl 1.0 under linux.

: I could not find a way to exit the program.  I have tried (load) and (quit) at the command
: prompt, but gcl told me command/function not recognized?

: Any help will be appreciated!

It's (bye).  This is one of the annoying things about KCL, AKCL, and GCL --
the usual (exit) won't get you out.

Also try (help) -- useful stuff.


--
Michael A. Covington                http://www.ai.uga.edu/faculty/covington/
Artificial Intelligence Center                                           <><
The University of Georgia                Unless specifically indicated, I am
Athens, GA 30602-7415 U.S.A.                not speaking for the University.
From: Joe Novosel
Subject: Re: exiting GCL?
Date: 
Message-ID: <51sf52$b28@solaria.cc.gatech.edu>
Michael Covington (········@ai.uga.edu) wrote:
: Cheng Jin (········@engin.umich.edu) wrote:
: : I am running gcl 1.0 under linux.

: : I could not find a way to exit the program.  I have tried (load) and (quit) at the command
: : prompt, but gcl told me command/function not recognized?

: : Any help will be appreciated!

: It's (bye).  This is one of the annoying things about KCL, AKCL, and GCL --
: the usual (exit) won't get you out.

: Also try (help) -- useful stuff.

Control D will exit as well.
--
					
-Joe Novosel (········@cc.gatech.edu)