HT tutorial trace 4: Goal state already achieved

soar> sp {ht*propose-space*ht
  (state <s> -^impasse ^superstate nil)
  (<s> ^name ht-state)
  (<s> ^thirsty yes ^hungry no)
  (<s> ^problem-space <p> ^desired )
  (<p> ^name hungry-thirsty)
  (<d> ^hungry no)}  ## this code modified to display in html

soar> d

     0: ==>S: S1 
  goal for  S1 achieved 
System halted.

Return to main page of: Introduction to Psychological Soar Tutorial
(or use the Back button to return to where you just were).