
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 -)
}
© 2015 - 2025 Weber Informatics LLC | Privacy Policy