logic inferencer interface