All Downloads are FREE. Search and download functionalities are using the official Maven repository.

APT.all-test.Wizards.wizards.detect-done.soar Maven / Gradle / Ivy

### If the top-wizard knows its own mark, then done.


sp {wizards*propose*detect-done
   (state  ^name wizards
              ^top-knows )
   ( ^name 
         ^wizard )
   ( ^guessed { << white black >>   }
        ^name )
-->
   ( ^operator  !)
   ( ^name detect-done
         ^wizard )
}


sp {apply*detect-done
   (state  ^operator )
   ( ^name detect-done
         ^wizard )
   ( ^guessed  { << white black >>  }
        ^name )
-->
   (write (crlf) |Wizard |  | guesses it has | )
   (halt)
}