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