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

APT.all-test.Wizards.wizards.consider-knows.soar Maven / Gradle / Ivy


## Create a new knows structure within a current knows structure

sp {wizards*propose*consider-knows
   (state  ^name wizards
              ^knows )
   ( ^name 
        ^wizard )
   ( ^name {  <>  })
  -( ^knows.name )
-->
   ( ^operator  + =, <)
   ( ^name consider-knows
         ^wizard 
         ^knows )
}
sp {apply*consider-knows
   (state  ^operator 
              ^knows )
   ( ^name consider-knows
         ^wizard 
         ^knows )
   ( ^wizard 
        ^name )
   ( ^name )
-->
   (write (crlf) |In wizard |  |'s view, create a model of wizard | )
   ( ^knows )
   ( ^knows )
   ( ^name 
         ^wizard   )
   ( ^name A)
   ( ^name B)
   ( ^name C)
}

sp {wizards*compare*consider-knows*prefer-new-names
   (state  ^name wizards
             -^knows.name 
              ^knows.name 
              ^operator  +
                        { <>   } +)
   ( ^name consider-knows
          ^wizard.name )
   ( ^name consider-knows
          ^wizard.name )
-->
   ( ^operator  -)
}

sp {wizards*compare*consider-knows*prefer-deeper
   (state  ^name wizards
              ^operator  +
                         +)
   ( ^name consider-knows
          ^knows )
   ( ^name consider-knows
          ^knows )
   ( ^knows )
-->
   ( ^operator  -)
}