flush_goalstack : unit -> unit
Eliminate all but the current goalstate from the current goalstack.
Normally, the current goalstack has the current goalstate at the head and all
previous intermediate states further back in the list. This function
flush_goalstack() keeps just the current goalstate and eliminates all
- FAILURE CONDITIONS
Fails if there is no current goalstate, i.e. if the goalstack is empty.
- SEE ALSO
b, g, r.