
 General Commands:
   query (q) P            	-- Query path p in knowledge base.
   assert (a) P            	-- Assert path p in knowledge base.
   help (?) Topic      		-- Prints help message on topic Topic (help help lists topics).
   
   reset                   	-- Reset Algernon.
   clear-window (cw)		-- Clear window.
   update-partitions (up) parts -- Update partions in the list parts.
   version (v)			-- Prints out the current version number.

   profile-kb (pkb)        	-- Prints some statistics about the knowledge base.
   kb-overview (kbo) f s rl	-- Prints an overview of the knowledge-base starting from
				frame f (can be a list) and following relation s (which can also
				be a list.  If rl = Y (rl is short for "reverse links") then
				it prints the ancestors of f (when rl = N it prints descendents)
				(Symbolics only).

   exit (e)                	-- Exit Algernon.

 Saving the Knowledge-base:
   kb-directory			-- Check/Change directory for storing snapshots.
   dump-kb (dkb) name		-- Record state of knowledge-base to a file.
   kb-snapshot (kbs) name	-- Record the current state of the knowledge-base in memory.
   write-snapshot (ws)	name	-- Write a snapshot to disk.
   list-snapshots (ls)	   	-- List current snapshots.
   delete-snapshot (ds)	name    -- Delete a snapshot.
   delete-all-snapshots (das)	-- Delete all snapshots.
   load-kb (lkb) name		-- Load a saved knowledge-base (from disk or a snapshot).

 Browser commands:
   current-frame (cf)       	-- Show current frame.
   who (w) n               	-- Visit frames with name n (n a list).
   visit-frame (vf) f      	-- Visit frame f (f a symbol).
   visit-slot (vs) s       	-- Visit frames in slot s of the current frame.
   visit-slot-nonv (vsn) s 	-- Visit frames in non-value facet of slot s of the current frame.
   pop (p)                 	-- Pop back to last visited frame.
   next-frame (nf)          	-- Go to next frame in current frame list.
   previous-frame (pf)   	-- Go to previous frame in current frame list.
   rules (r) s             	-- Show all rules which apply to slot s of current frame.

 Tracing commands:
   default-trace (dt)		-- Selects the default trace (currently this is the dot-trace).
   trace-all (ta)          	-- Trace everything.
   trace-logic (tl)        	-- Trace queries, assertions, and rule applications.
   trace-interest (ti)     	-- Trace just interesting events.
   trace-off (to)          	-- Turn off all tracing.

   view-dot-trace (vdt)		-- Enable expansion of symbols in dot trace (Symbolics only).

 Output control:
   normal-output (no)      	-- Bindings and kb changes of operations shown.
   minimal-output (mo)     	-- Bindings resulting from operations shown.
   silent-output (so)      	-- Output silent unless operation fails.
   verbose-output (vo)     	-- Results, kb changes, and predicates of operations shown.
   last-op (lo)            	-- Show results of more recent operations.

 Frills:
   load f                  	-- Load file f (f a string).
   compile-load (cl) f         	-- Compile and load file f (f a string).
   load-ex (le) f              	-- Load example file f.
   run-ex (re) e               	-- Run example e.
   lisp (l) exp            	-- Evaluate the exp as a lisp expression.
