H05-1036 Dyna , for specifying weighted deductive-inference algorithms . We illustrate it
hide detail