Python 1.0.0 (Feb 13 1994)
Copyright 1991-1994 Stichting Mathematisch Centrum, Amsterdam
>>> import psh
-Python command shell-
.PshInit file not found
%
%
% help
Available commands...
cd
? change current directory
db ? run expr under pdb debugger
ed ? edit a file (shell.editor)
equ [ ]? replace/aliase with
fix edit and import|reload module
help ? describe one|all commands
hi prior command history list
ls ? list contents of dir
os ? send command to system
prompt change the prompt string
pwd print current directory
quit exit the shell
re [|]? repeat a prior command (see hi)
src read commands from a text file
Other commands are run by the Python interpreter in __main__
Type 'help ' for more information on a specific command
%
% help db
Command: db
Arguments: ?
Description: run expr under pdb debugger
Examples: db shell.help(['db'])
%
% equ ! re
% hi
1 => help
2 => help db
3 => equ ! re
% !2
equ: re 2
redo: help db
Command: db
Arguments: ?
Description: run expr under pdb debugger
Examples: db shell.help(['db'])
%
% import holmes
-Holmes inference engine-
holmes> @= c:\stuff\python\kbases\ttt2
holmes> +-
I deduced these facts...
d 1
d 2
c 1
c 2
b 1
b 2
a 1
a 2
I started with these facts...
time: 1
show proofs? x
what? (expecting "y", "n", "where", or "browse")
show proofs? where
I deduced these facts...
d 1
d 2
c 1
c 2
b 1
b 2
a 1
a 2
I started with these facts...
show proofs? n
holmes> stop
%
% holmes.holmes()
-Holmes inference engine-
holmes> stop
%
% prompt psh>
psh> x = 2
psh> !h
equ: re h
redo: holmes.holmes()
-Holmes inference engine-
holmes>
holmes> stop
psh> quit
command shell exit.
>>>