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).