Virtual Data-Flow Machine as Vehicle of Inference/Computations in Knowledge Bases