Implementation and evaluation of dynamic predicates on the sequential inference machine CHI | IEEE Conference Publication | IEEE Xplore