• Home
• com.soartech
• jsoar-performance-testing
• 5.0.1
• source code
• goal-test.soar

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

APT.all-test.towers-of-hanoi.towers-of-hanoi-recursive.elaborations.goal-test.soar Maven / Gradle / Ivy

###
### towers-of-hanoi GOAL-TEST
###

sp {towers-of-hanoi*desired-of-disk*satisfied
   (state  ^holds 
 
 
 
                     
 
 
     
                     )
   (
 ^disk  ^on )
   (
 ^disk  ^on )
   (
 ^disk  ^on )
   (
 ^disk  ^on )
   (
 ^disk  ^on )
   (
 ^disk  ^on )
   ( ^disk  ^on )
   ( ^disk  ^on )
   ( ^disk  ^on )
   ( ^disk  ^on )
   ( ^disk  ^on )
   ( ^name 1 )
   ( ^name 2 )
   ( ^name 3 )
   ( ^name 4 )
   ( ^name 5 )
   ( ^name 6 )
   ( ^name 7 )
   ( ^name 8)
   ( ^name 9)
   ( ^name 10)
   ( ^name 11)
   ( ^name |C|)
-->
   (write (crlf) |Success!|)
   (halt)}


sp {tower-of-hanoi*elaborate*desired*not-statisfied
   (state  ^name towers-of-hanoi
              ^desired 
              ^top-state )
  -{( ^holds )
    ( ^disk 
         ^on )}
   ( ^holds )
   ( ^disk 
         ^on )
-->
   ( ^satisfied *no*)}

sp {tower-of-hanoi*elaborate*desired*statisfied
   (state  ^name towers-of-hanoi
              ^desired.holds 
              ^top-state.holds )
   ( ^disk 
        ^on )
   ( ^disk 
         ^on )
-->
   ( ^satisfied *yes*)}