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

APT.all-test.Algebra.algebra.solve-problem.fail.soar Maven / Gradle / Ivy

sp {algebra*propose*fail
   (state  ^name solve-problem
              ^quiescence t
              ^current-clause )
   ( -^failed yes)
-->
   ( ^operator  + =, <)
   ( ^name fail)
}

sp {algebra*apply*fail
   (state  ^operator 
              ^current-clause )
   ( ^name fail)
-->
   ( ^failed yes)
}